Cleanup ml prover 3

do not review yet