(Statements
  (While
  { (Identifier)
  ->(Identifier) }
    (Statements
      (Call
      { (Identifier)
      ->(Identifier) }
        (Empty))))
  (Empty))