Only output first counterexample message