Update EBNF.md