Removed unused definition in EBNF