[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("!MultiVarDef!", _),
               { id_resolved = ref ((Some (Global, _)));
                 id_resolved_alternatives = ref ([]); id_type = ref (None);
                 id_svalue = ref (Unknown); id_flags = ref (5);
                 id_info_id = _ }
               )));
         attrs = [(KeywordAttr (Var, _))]; tparams = None },
       (VarDef
          { vinit =
            (Some { e =
                    (Assign (
                       { e =
                         (Container (Array,
                            (_,
                             [{ e =
                                (Record
                                   (_,
                                    [(F
                                        { s =
                                          (DefStmt
                                             ({ name =
                                                (EN
                                                   (Id (("oy", _),
                                                      { 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 },
                                              (FieldDefColon
                                                 { vinit =
                                                   (Some { e =
                                                           (N
                                                              (Id (("oy", _),
                                                                 { id_resolved =
                                                                   ref ((Some (
                                                                   Global, _)));
                                                                   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 = None; vtok = None
                                                   })));
                                          s_range = None });
                                      (F
                                         { s =
                                           (DefStmt
                                              ({ name =
                                                 (EN
                                                    (Id (("vey", _),
                                                       { 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 },
                                               (FieldDefColon
                                                  { vinit =
                                                    (Some { e =
                                                            (N
                                                               (Id (
                                                                  ("_vey", _),
                                                                  { id_resolved =
                                                                    ref ((Some (
                                                                    Global, _)));
                                                                    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 = None; vtok = None
                                                    })));
                                           s_range = None });
                                      (F
                                         { s =
                                           (DefStmt
                                              ({ name =
                                                 (EN
                                                    (Id (("mitzvot", _),
                                                       { 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 },
                                               (FieldDefColon
                                                  { vinit =
                                                    (Some { e =
                                                            (N
                                                               (Id (
                                                                  ("_mitz", _),
                                                                  { id_resolved =
                                                                    ref ((Some (
                                                                    Global, _)));
                                                                    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 = None; vtok = None
                                                    })));
                                           s_range = None })
                                      ],
                                    _));
                                e_id = 0; e_range = None;
                                is_implicit_return = false; facts = <opaque>
                                }
                               ],
                             _)
                            ));
                         e_id = 0; e_range = None;
                         is_implicit_return = false; facts = <opaque> },
                       _,
                       { e =
                         (Container (Array,
                            (_,
                             [{ e = (Record (_, [], _)); e_id = 0;
                                e_range = None; is_implicit_return = false;
                                facts = <opaque> }
                               ],
                             _)
                            ));
                         e_id = 0; e_range = None;
                         is_implicit_return = false; facts = <opaque> }
                       ));
                    e_id = 0; e_range = None; is_implicit_return = false;
                    facts = <opaque> });
            vtype = None; vtok = None })));
   s_range = None }
  ]