Update formula name to antlr3