Various prover improvements.