add ebnf info