Z3 changes for antlr4.