560-897 lines of TermParser.jj implemented in ANTLR4