Counterexample output for native input