Add simple grammar for GE counterexample