(Program
  (DoWhile
    (ExpressionStatements
      (ExpressionStatements
        (FunctionCall
          (Identifier)
          (Identifier)
        { (Identifier)
        ->(Identifier) })))
  { (Boolean)
  ->(Boolean) }))