By making no decision on variables which only appear in the ODC conditions, the control uniqueness of the circuit is guaranteed.

• 通过不对只出现在可观无关条件中的变量赋值，保证电路的控制唯一性。