pub fn simplify_proof(proof: &mut Proof) -> SimplificationStats
Simplify a proof using default configuration.