feature: remove_unused_def, bugfix: instruction series, refactor: SSARight and SSALeft frame a lot of change