(Program
  (While
    (Send
      (Identifier))
  { ([])
  ->(Send
    {+(Identifier)+}) })
{-(While
  {-(Send
    {-(Identifier)-})-}
  {-(Send
    {-(Identifier)-})-})-})