Cleanup ml prover 5

do not review