(Statements
  (While
    (Not
      (Send
        (Identifier)))
    (Statements))
  (While
    (Not
      (Send
        (Identifier)))
    (Send
      (Identifier))))