[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("x", _),
               { id_resolved = ref ((Some (Global, _)));
                 id_resolved_alternatives = ref ([]); id_type = ref (None);
                 id_svalue = ref (Unknown); id_flags = ref (4);
                 id_info_id = _ }
               )));
         attrs = [(KeywordAttr (Const, _))]; tparams = None },
       (VarDef
          { vinit =
            (Some { e =
                    (StmtExpr
                       { s =
                         (For (_,
                            (MultiForEach
                               [(FE
                                   ((PatTuple
                                       (_,
                                        [(PatId (("a", _),
                                            { id_resolved =
                                              ref ((Some (Global, _)));
                                              id_resolved_alternatives =
                                              ref ([]); id_type = ref (None);
                                              id_svalue = ref (Unknown);
                                              id_flags = ref (0);
                                              id_info_id = _ }
                                            ));
                                          (PatId (("b", _),
                                             { 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 = (L (Int ((Some 1L), _))); e_id = 0;
                                      e_range = None;
                                      is_implicit_return = false;
                                      facts = <opaque> }));
                                 (FE
                                    ((PatId (("c", _),
                                        { 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 = (L (Int ((Some 2L), _)));
                                       e_id = 0; e_range = None;
                                       is_implicit_return = false;
                                       facts = <opaque> }));
                                 (FE
                                    ((PatId (("d", _),
                                        { 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 = (L (Int ((Some 3L), _)));
                                       e_id = 0; e_range = None;
                                       is_implicit_return = false;
                                       facts = <opaque> }))
                                 ]),
                            { s =
                              (ExprStmt (
                                 { e =
                                   (Yield (_,
                                      (Some { e =
                                              (Container (Tuple,
                                                 (_,
                                                  [{ e =
                                                     (N
                                                        (Id (("a", _),
                                                           { 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>
                                                     };
                                                    { e =
                                                      (N
                                                         (Id (("b", _),
                                                            { 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>
                                                      }
                                                    ],
                                                  _)
                                                 ));
                                              e_id = 0; e_range = None;
                                              is_implicit_return = false;
                                              facts = <opaque> }),
                                      false));
                                   e_id = 0; e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> },
                                 _));
                              s_range = None }
                            ));
                         s_range = None });
                    e_id = 0; e_range = None; is_implicit_return = false;
                    facts = <opaque> });
            vtype = None; vtok = None })));
   s_range = None }
  ]