void IDebugEventSink.Visit(Leave leave) { RaiseFailed(leave.Node.HeadGoal); }
void IDebugEventSink.Visit(Leave leave) { listView1.Items.RemoveAt (listView1.Items.Count - 1); }
void IDebugEventSink.Visit (Leave leave) { RaiseFailed (leave.Node.HeadGoal); }
void IDebugEventSink.Visit (Leave leave) { PrintGoal ("Leave: ", leave.Node.HeadGoal); }