(Program
  (While
    (Paren
    { (Identifier)
    ->(Identifier) })
    (
      (Call
      { (Identifier)
      ->(Identifier) }
        (Empty))))
  (Empty))