Antlr4.Tool.ErrorManager.GetNumErrors C# (CSharp) Method