SimplifierWithPaths handles MatchExpr. Utility functions.
Remove matchToIfThenElse from simplifiers
Deprecate patternMatchReconstruction etc.
Reduce usage of matchToIfThenElse in Tactics
Minimize usage of matchToIfThenElse in CodeGen
Better GuidedDecomp code using new features