bugfixes in prover, caused by previous merge

also, better profiling output