Stop algorithm if a counterexample is found.