[{ s =
   (While (_,
      (Cond
         { e = (L (Bool (true, _))); e_id = 0; e_range = None;
           is_implicit_return = false; facts = <opaque> }),
      { s =
        (Block
           (_,
            [{ s =
               (DefStmt
                  ({ name =
                     (EN
                        (Id (("x", _),
                           { id_resolved = ref ((Some (Global, _)));
                             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 =
                (DefStmt
                   ({ name =
                      (EN
                         (Id (("y", _),
                            { id_resolved = ref ((Some (Global, _)));
                              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 3L), _))); e_id = 0;
                                 e_range = None; is_implicit_return = false;
                                 facts = <opaque> });
                         vtype = None; vtok = None })));
                s_range = None }
              ],
            _));
        s_range = None }
      ));
   s_range = None }
  ]