Include final step in inductive counterexamples