Print arguments of leon.lang.passes as IO-example tables (lousily)