Fixed conflict in prover.ml