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