protected void Push(ICodeContext newCodeContext) { newCodeContext.Enter(this, _codeContext); _codeContextStack.Push(_codeContext); _codeContext = newCodeContext; Debug.WriteLine("push: " + newCodeContext.Label); }