Some optimizations after profiling the prover.