Add header to inductive counterexamples in console