public override void BeginBacktrack(int level)
{
if (dump)
Console.WriteLine("enter backtrack " + level);
backtrackDepth++;
DecisionEvent e = CurrentDecision();
if (e.decision.couldBacktrack)
{
stats.numBacktrackOccurrences++;
e.decision.numBacktrackOccurrences++;
e.backtracks = true;
}
}