Fix Histogram
Make sure pattern binders are input variables in subproblems
Print arguments of leon.lang.passes as IO-example tables (lousily)