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