transfer EquiExpression to ImpExpression
transfer ImpExpression to OrExpression
rule CP