fixed EBNF to include the missing "separator" definition