fixes in Prover.normalize