(Program
{+(ScopeExit
  {+(Send
    {+(Identifier)+})+})+}
{-(Send
  {-(Identifier)-})-}
{-(ScopeExit
  {-(Send
    {-(Identifier)-})-})-})