It is based on distributivity axioms and merges blocks while shifting alternative operators towards later points in time.

• 它基于分配率并在对时间上较后的点进行转换选择操作时合并那些块。