public void Pop()
{
if (_codeContext != null)
{
Debug.WriteLine("pop: " + _codeContext.Label);
_codeContext.Exit();
if (_codeContextStack.Count > 0)
{
_codeContext = _codeContextStack.Pop();
}
}
}