Universal cut was generated by tracing from primary outputs, and equivalence of all candidate equivalent points (CEPs) was verified by using universal cut.

• 从原始输出进行回溯得到通用割集，用通用割集验证所有候选等价点(CEP)的等价性。