Reduce usage of matchToIfThenElse in Tactics
Minimize usage of matchToIfThenElse in CodeGen
Better GuidedDecomp code using new features