updated ebnf and sample definition to remove init section