synatax checker reflects EBNF