Possible ANTLR4 bugs