Feasibility of Omitting the Step of State Reduction in Control Flow Synthesis

• 控制流综合中省略状态化简的可行性