Cleanup ml prover 5

@dwightguth @andreistefanescu please review