bisect fails when the prover returns HighFailure
When a prover call result is HighFailure during bisection, the bisection sometimes seems to get interrupted. It would be better to do as if the prover had not proved anything.
When a prover call result is HighFailure during bisection, the bisection sometimes seems to get interrupted. It would be better to do as if the prover had not proved anything.