protected ATNConfig ActionTransition(ATNConfig config, ActionTransition t) { if (debug) Console.WriteLine("ACTION edge " + t.ruleIndex + ":" + t.actionIndex); return new ATNConfig(config, t.target); }