Search counter-examples after finding each implication