Use antlr for arithmetic expressions