(Statements
  (While
    (Not
      (Send
        (Identifier)))
  { (Statements)
  ->(Send
    {+(Identifier)+}) })
{-(While
  {-(Not
    {-(Send
      {-(Identifier)-})-})-}
  {-(Send
    {-(Identifier)-})-})-})