public void CheckEmpty() { PopScope(); Debug.Assert(lastRecord == 0 && lastScopes == 0, "StepOnNode() and StepOffNode() calls have been unbalanced"); } }