Integrated iteMap so that ITE circuits are correctly preserved
Integrated iteMap so that ITE circuits are correctly preserved

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