Add header to inductive counterexamples in console
Add header to inductive counterexamples in console

andrewkatis/jkind-1,agacek/jkind,backesj/jkind,agacek/jkind,lgwagner/jkind,lgwagner/jkind,backesj/jkind,andrewkatis/jkind-1