[{ s =
   (DirectiveStmt
      { d = (Package (_, [("com", _); ("test", _)])); d_attrs = [] });
   s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("java", _); ("util", _)]),
            [(Direct
                (("HashMap", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity ["java"; "util"; "HashMap"]),
                               _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DirectiveStmt
       { d =
         (ImportFrom (_, (DottedName [("java", _); ("util", _)]),
            [(Direct
                (("Map", _),
                 { id_resolved =
                   ref ((Some ((ImportedEntity ["java"; "util"; "Map"]), _)));
                   id_resolved_alternatives = ref ([]); id_type = ref (None);
                   id_svalue = ref (Unknown); id_flags = ref (0);
                   id_info_id = _ }))
              ]
            ));
         d_attrs = [] });
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("Test", _),
                { id_resolved = ref (None);
                  id_resolved_alternatives = ref ([]); id_type = ref (None);
                  id_svalue = ref (Unknown); id_flags = ref (0);
                  id_info_id = _ }
                )));
          attrs = [(KeywordAttr (Final, _))];
          tparams =
          (Some (_,
                 [(TP
                     { tp_id = ("T", _); tp_attrs = []; tp_bounds = [];
                       tp_default = None; tp_variance = None })
                   ],
                 _))
          },
        (ClassDef
           { ckind = (Class, _); cextends = []; cimplements = [];
             cmixins = []; cparams = (_, [], _);
             cbody =
             (_,
              [(F
                  { s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("abc", _),
                                { id_resolved = ref ((Some (EnclosedVar, _)));
                                  id_resolved_alternatives = ref ([]);
                                  id_type =
                                  ref ((Some { t =
                                               (TyApply (
                                                  { t =
                                                    (TyN
                                                       (Id (("Map", _),
                                                          { id_resolved =
                                                            ref ((Some (
                                                            (ImportedEntity
                                                               ["java";
                                                                 "util";
                                                                 "Map"]),
                                                            _)));
                                                            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 (("T", _),
                                                               { 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 =
                                                          (TyApply (
                                                             { t =
                                                               (TyN
                                                                  (Id (
                                                                    ("otherTest",
                                                                    _),
                                                                    { 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 (
                                                                    ("T", _),
                                                                    { 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 = [] })
                                                     ],
                                                   _)
                                                  ));
                                               t_attrs = [] }));
                                  id_svalue = ref (Unknown);
                                  id_flags = ref (4); id_info_id = _ }
                                )));
                          attrs = [(KeywordAttr (Final, _))]; tparams = None
                          },
                        (VarDef
                           { vinit =
                             (Some { e =
                                     (New (_,
                                        { t =
                                          (TyN
                                             (Id (("HashMap", _),
                                                { id_resolved =
                                                  ref ((Some ((ImportedEntity
                                                                 ["java";
                                                                   "util";
                                                                   "HashMap"]),
                                                              _)));
                                                  id_resolved_alternatives =
                                                  ref ([]);
                                                  id_type = ref (None);
                                                  id_svalue = ref (Unknown);
                                                  id_flags = ref (0);
                                                  id_info_id = _ }
                                                )));
                                          t_attrs = [] },
                                        { id_resolved = ref (None);
                                          id_resolved_alternatives = ref ([]);
                                          id_type = ref (None);
                                          id_svalue = ref (Unknown);
                                          id_flags = ref (0); id_info_id = _
                                          },
                                        (_, [], _)));
                                     e_id = 0; e_range = None;
                                     is_implicit_return = false;
                                     facts = <opaque> });
                             vtype =
                             (Some { t =
                                     (TyApply (
                                        { t =
                                          (TyN
                                             (Id (("Map", _),
                                                { id_resolved =
                                                  ref ((Some ((ImportedEntity
                                                                 ["java";
                                                                   "util";
                                                                   "Map"]),
                                                              _)));
                                                  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 (("T", _),
                                                     { 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 =
                                                (TyApply (
                                                   { t =
                                                     (TyN
                                                        (Id (
                                                           ("otherTest", _),
                                                           { 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 (("T", _),
                                                                { 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 = [] })
                                           ],
                                         _)
                                        ));
                                     t_attrs = [] });
                             vtok = None })));
                    s_range = None });
                (F
                   { s =
                     (DefStmt
                        ({ name =
                           (EN
                              (Id (("Test", _),
                                 { 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 = (_, [], _);
                              frettype = None;
                              fbody =
                              (FBStmt
                                 { s = (Block (_, [], _)); s_range = None })
                              })));
                     s_range = None })
                ],
              _)
             })));
    s_range = None }
  ]