Add examples to EBNF file