private void IncrementPropCount(int tag) { if (m_stack.Count == 0) m_cpropPrev.Increment(tag); else { StackItem top = m_stack[m_stack.Count - 1]; top.m_cpropPrev.Increment(tag); } }