Only produce inductive counterexamples when requested