In delegating refiner, do not use any counterexample if repeated counterexample appears

@PhilippWendler and/or @kfriedberger , could you please check that I do not have an error in reasoning in my change?