removed redundant lines in ebnf