Make sure pattern binders are input variables in subproblems
Print arguments of leon.lang.passes as IO-example tables
Apply matchToIfThenElse before compiling expressions in CEGIS
If we're being 'German', let's do it right
Improve histograms and costs