Implement invariant-violating toCNF' case with error msg
Implement invariant-violating toCNF' case with error msg

rbonifacio/funsat,rbonifacio/funsat,rbonifacio/funsat,dbueno/funsat,rbonifacio/funsat,dbueno/funsat