Add EBNF of SPL.