[{ s =
   (DirectiveStmt
      { d =
        (Package (_, [("com", _); ("example", _); ("core", _); ("utils", _)]
           ));
        d_attrs = [] });
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("ChainedCallee", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = []; tparams = None },
        (ClassDef
           { ckind = (Object, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("process", _),
                                { id_resolved = ref (None);
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (0); id_info_id = _ }
                                )));
                          attrs = []; tparams = None },
                        (FuncDef
                           { fkind = (Method, _);
                             fparams =
                             (_,
                              [(Param
                                  { pname = (Some ("data", _));
                                    ptype =
                                    (Some { t =
                                            (TyApply (
                                               { t =
                                                 (TyN
                                                    (Id (("Seq", _),
                                                       { id_resolved =
                                                         ref (None);
                                                         id_resolved_alternatives =
                                                         ref ([]);
                                                         id_type = ref (None);
                                                         id_svalue =
                                                         ref (Unknown);
                                                         id_flags = ref (0);
                                                         id_info_id = _ }
                                                       )));
                                                 t_attrs = [] },
                                               (_,
                                                [(TA
                                                    { t =
                                                      (TyN
                                                         (Id (("String", _),
                                                            { id_resolved =
                                                              ref (None);
                                                              id_resolved_alternatives =
                                                              ref ([]);
                                                              id_type =
                                                              ref (None);
                                                              id_svalue =
                                                              ref (Unknown);
                                                              id_flags =
                                                              ref (0);
                                                              id_info_id = _
                                                              }
                                                            )));
                                                      t_attrs = [] })
                                                  ],
                                                _)
                                               ));
                                            t_attrs = [] });
                                    pdefault = None; pattrs = [];
                                    pinfo =
                                    { id_resolved =
                                      ref ((Some (Parameter, _)));
                                      id_resolved_alternatives = ref ([]);
                                      id_type =
                                      ref ((Some { t =
                                                   (TyApply (
                                                      { t =
                                                        (TyN
                                                           (Id (("Seq", _),
                                                              { id_resolved =
                                                                ref (None);
                                                                id_resolved_alternatives =
                                                                ref (
                                                                []);
                                                                id_type =
                                                                ref (None);
                                                                id_svalue =
                                                                ref (Unknown);
                                                                id_flags =
                                                                ref (0);
                                                                id_info_id =
                                                                _ }
                                                              )));
                                                        t_attrs = [] },
                                                      (_,
                                                       [(TA
                                                           { t =
                                                             (TyN
                                                                (Id (
                                                                   ("String",
                                                                    _),
                                                                   { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ }
                                                                   )));
                                                             t_attrs = [] })
                                                         ],
                                                       _)
                                                      ));
                                                   t_attrs = [] }));
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    })
                                ],
                              _);
                             frettype =
                             (Some { t =
                                     (TyApply (
                                        { t =
                                          (TyN
                                             (Id (("Seq", _),
                                                { id_resolved = ref (None);
                                                  id_resolved_alternatives =
                                                  ref ([]);
                                                  id_type = ref (None);
                                                  id_svalue = ref (Unknown);
                                                  id_flags = ref (0);
                                                  id_info_id = _ }
                                                )));
                                          t_attrs = [] },
                                        (_,
                                         [(TA
                                             { t =
                                               (TyN
                                                  (Id (("String", _),
                                                     { id_resolved =
                                                       ref (None);
                                                       id_resolved_alternatives =
                                                       ref ([]);
                                                       id_type = ref (None);
                                                       id_svalue =
                                                       ref (Unknown);
                                                       id_flags = ref (0);
                                                       id_info_id = _ }
                                                     )));
                                               t_attrs = [] })
                                           ],
                                         _)
                                        ));
                                     t_attrs = [] });
                             fbody =
                             (FBExpr
                                { e =
                                  (N
                                     (Id (("data", _),
                                        { id_resolved =
                                          ref ((Some (Parameter, _)));
                                          id_resolved_alternatives = ref ([]);
                                          id_type =
                                          ref ((Some { t =
                                                       (TyApply (
                                                          { t =
                                                            (TyN
                                                               (Id (
                                                                  ("Seq", _),
                                                                  { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ }
                                                                  )));
                                                            t_attrs = [] },
                                                          (_,
                                                           [(TA
                                                               { t =
                                                                 (TyN
                                                                    (
                                                                    Id (
                                                                    ("String",
                                                                    _),
                                                                    { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (Unknown);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    _ })));
                                                                 t_attrs = []
                                                                 })
                                                             ],
                                                           _)
                                                          ));
                                                       t_attrs = [] }));
                                          id_svalue = ref (Unknown);
                                          id_flags = ref (0); id_info_id = _
                                          }
                                        )));
                                  e_id = 0; e_range = None;
                                  is_implicit_return = true; facts = <opaque>
                                  })
                             })));
                    s_range = None })
                ],
              _)
             })));
    s_range = None }
  ]