Finished Angluin.process_counterexample, dealing with counterexample which can come from false conjecture.