private void PushElement() { GrowElementsIfNeeded(); _elements[_depth++] = _element; if (_nextElement == null) _element = GetNextElement(); else { _element = _nextElement; _nextElement = null; } }