Wrote the parser and lexer, now need to build the backend for generating Uppaal model