public override void EndBacktrack(int level, bool successful) { if (dump) Console.WriteLine("exit backtrack " + level + ": " + successful); backtrackDepth--; }