improve intermediate debugging messages printed by the prover

Something I did in the past is unnecessary. It only makes the intermediate results of rewriter/prover really hard to read.