Add finding counterexample from negative