[{ 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 },
       (FuncDef
          { fkind = (Method, _); fparams = (_, [], _); frettype = None;
            fbody =
            (FBExpr
               { e =
                 (Call (
                    { e =
                      (N
                         (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 = _ }
                            )));
                      e_id = 0; e_range = None; is_implicit_return = false;
                      facts = <opaque> },
                    (_,
                     [(Arg
                         { e =
                           (StmtExpr
                              { s =
                                (Block
                                   (_,
                                    [{ s =
                                       (ExprStmt (
                                          { e =
                                            (Lambda
                                               { fkind = (Arrow, _);
                                                 fparams =
                                                 (_,
                                                  [(Param
                                                      { pname =
                                                        (Some ("x", _));
                                                        ptype = None;
                                                        pdefault = None;
                                                        pattrs = [];
                                                        pinfo =
                                                        { id_resolved =
                                                          ref ((Some (
                                                          Parameter, _)));
                                                          id_resolved_alternatives =
                                                          ref ([]);
                                                          id_type =
                                                          ref (None);
                                                          id_svalue =
                                                          ref (Unknown);
                                                          id_flags = ref (0);
                                                          id_info_id = _ }
                                                        })
                                                    ],
                                                  _);
                                                 frettype = None;
                                                 fbody =
                                                 (FBStmt
                                                    { s =
                                                      (Block
                                                         (_,
                                                          [{ s =
                                                             (ExprStmt (
                                                                { e =
                                                                  (Call (
                                                                    { e =
                                                                    (N
                                                                    (Id (
                                                                    ("bar", _),
                                                                    { 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>
                                                                    },
                                                                    (_,
                                                                    [(Arg
                                                                    { e =
                                                                    (StmtExpr
                                                                    { s =
                                                                    (For (_,
                                                                    (MultiForEach
                                                                    [(FE
                                                                    ((
                                                                    PatId (
                                                                    ("y", _),
                                                                    { id_resolved =
                                                                    ref ((Some (
                                                                    LocalVar,
                                                                    _)));
                                                                    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
                                                                    ((
                                                                    PatWildcard
                                                                    _), _,
                                                                    { e =
                                                                    (L
                                                                    (Int
                                                                    ((Some 3L),
                                                                    _)));
                                                                    e_id = 0;
                                                                    e_range =
                                                                    None;
                                                                    is_implicit_return =
                                                                    false;
                                                                    facts =
                                                                    <opaque>
                                                                    }))]),
                                                                    { s =
                                                                    (ExprStmt (
                                                                    { e =
                                                                    (Yield (
                                                                    _,
                                                                    (Some 
                                                                    { e =
                                                                    (L
                                                                    (Unit _));
                                                                    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>
                                                                    })], _)));
                                                                  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 });
                           e_id = 0; e_range = None;
                           is_implicit_return = false; facts = <opaque> })
                       ],
                     _)
                    ));
                 e_id = 0; e_range = None; is_implicit_return = true;
                 facts = <opaque> })
            })));
   s_range = None }
  ]