Simplifying grammar at cost of not recognizing a|b