work with latest antlr 4.2