Apply matchToIfThenElse before compiling expressions in CEGIS