private void DecreaseFlowLevel() { Debug.Assert(flowLevel > 0, "Could flowLevel be zero when this method is called?"); if (flowLevel > 0) { --flowLevel; simpleKeys.Pop(); } }