ebnf2vdmsl translator