public void AddTrace(string message, params object[] args) {
if (!OptionIsSet(ParseOptions.TraceParser)) return;
if (args != null && args.Length > 0)
message = string.Format(message, args);
ParserTrace.Add(new ParserTraceEntry(CurrentParserState, ParserStack.Top, CurrentParserInput, message, false));
}