Rename enumeration value when renaming counterexamples
Rename enumeration value when renaming counterexamples

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