ce collection: simplifications in parsing of counterexamples

Some choice simplifications are now done on the ite expressions given by z3 when those are nested. Also fix debug flags for collection of counterexamples. Also fix printing of intermediate representation counterexampels.