Cleanup ml prover 5

@dwightguth @andreistefanescu please review
Why did you remove this condition?