[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("foo", _),
               { 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 (("foo", _),
                               { 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 (Private, _))]; tparams = None
                         },
                       (FuncDef
                          { fkind = (Method, _);
                            fparams =
                            (_,
                             [(Param
                                 { pname = (Some ("x", _));
                                   ptype =
                                   (Some { t =
                                           (TyN
                                              (Id (("Int", _),
                                                 { 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 = [] });
                                   pdefault = None; pattrs = [];
                                   pinfo =
                                   { id_resolved =
                                     ref ((Some (Parameter, _)));
                                     id_resolved_alternatives = ref ([]);
                                     id_type =
                                     ref ((Some { t =
                                                  (TyN
                                                     (Id (("Int", _),
                                                        { 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 = [] }));
                                     id_svalue = ref (Unknown);
                                     id_flags = ref (0); id_info_id = _ }
                                   })
                               ],
                             _);
                            frettype = None;
                            fbody =
                            (FBExpr
                               { e =
                                 (StmtExpr
                                    { s =
                                      (Block
                                         (_,
                                          [{ s =
                                             (DefStmt
                                                ({ name =
                                                   (EN
                                                      (Id (("x", _),
                                                         { id_resolved =
                                                           ref ((Some (
                                                           LocalVar, _)));
                                                           id_resolved_alternatives =
                                                           ref ([]);
                                                           id_type =
                                                           ref ((Some 
                                                           { t =
                                                             (TyN
                                                                (Id (
                                                                   ("int", _),
                                                                   { 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 = [] }));
                                                           id_svalue =
                                                           ref (Unknown);
                                                           id_flags = ref (4);
                                                           id_info_id = _ }
                                                         )));
                                                   attrs =
                                                   [(KeywordAttr (Const, _))];
                                                   tparams = None },
                                                 (VarDef
                                                    { vinit =
                                                      (Some { e =
                                                              (L
                                                                 (Int
                                                                    (
                                                                    (Some 2L),
                                                                    _)));
                                                              e_id = 0;
                                                              e_range = None;
                                                              is_implicit_return =
                                                              false;
                                                              facts =
                                                              <opaque> });
                                                      vtype = None;
                                                      vtok = None })));
                                             s_range = None };
                                            { s =
                                              (ExprStmt (
                                                 { e =
                                                   (StmtExpr
                                                      { s =
                                                        (Return (_,
                                                           (Some { e =
                                                                   (L
                                                                    (Int
                                                                    ((Some 5L),
                                                                    _)));
                                                                   e_id = 0;
                                                                   e_range =
                                                                   None;
                                                                   is_implicit_return =
                                                                   false;
                                                                   facts =
                                                                   <opaque> }),
                                                           _));
                                                        s_range = None });
                                                   e_id = 0; e_range = None;
                                                   is_implicit_return = true;
                                                   facts = <opaque> },
                                                 _));
                                              s_range = None }
                                            ],
                                          _));
                                      s_range = None });
                                 e_id = 0; e_range = None;
                                 is_implicit_return = false; facts = <opaque>
                                 })
                            })));
                   s_range = None })
               ],
             _)
            })));
   s_range = None }
  ]