Change how inductive counterexamples are sliced