add EBNF for refal