Removed Backtrack.fail, since we use exceptions instead.
Inlined the definition for the one use in prover.ml.