[{ s =
   (ExprStmt (
      { e =
        (Call (
           { e =
             (Call (
                { e =
                  (DotAccess (
                     { 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> },
                     _,
                     (FN
                        (Id (("[", _),
                           { id_resolved = ref (None);
                             id_resolved_alternatives = ref ([]);
                             id_type =
                             ref ((Some { t =
                                          (TyFun (
                                             [(OtherParam (("TODO", _), []))],
                                             { t =
                                               (OtherType (("TODO", _), []));
                                               t_attrs = [] }
                                             ));
                                          t_attrs = [] }));
                             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 = (L (Atom (_, ("bar", _)))); e_id = 0;
                       e_range = None; is_implicit_return = false;
                       facts = <opaque> })
                   ],
                 _)
                ));
             e_id = 0; e_range = None; is_implicit_return = false;
             facts = <opaque> },
           (_,
            [(Arg
                { e =
                  (Lambda
                     { fkind = (LambdaKind, _);
                       fparams =
                       (_,
                        [(Param
                            { pname = (Some ("baz", _)); 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 (("baz", _),
                                                   { id_resolved =
                                                     ref ((Some (Parameter, _)));
                                                     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 = true;
                                        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 = false;
        facts = <opaque> },
      _));
   s_range = None };
  { s =
    (ExprStmt (
       { e =
         (Call (
            { e =
              (Call (
                 { e =
                   (DotAccess (
                      { 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> },
                      _,
                      (FN
                         (Id (("[", _),
                            { id_resolved = ref (None);
                              id_resolved_alternatives = ref ([]);
                              id_type =
                              ref ((Some { t =
                                           (TyFun (
                                              [(OtherParam (("TODO", _), []))
                                                ],
                                              { t =
                                                (OtherType (("TODO", _), []));
                                                t_attrs = [] }
                                              ));
                                           t_attrs = [] }));
                              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 = (L (Atom (_, ("bar", _)))); e_id = 0;
                        e_range = None; is_implicit_return = false;
                        facts = <opaque> })
                    ],
                  _)
                 ));
              e_id = 0; e_range = None; is_implicit_return = false;
              facts = <opaque> },
            (_,
             [(Arg
                 { e =
                   (Lambda
                      { fkind = (LambdaKind, _);
                        fparams =
                        (_,
                         [(Param
                             { pname = (Some ("baz", _)); 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 (("baz", _),
                                                    { id_resolved =
                                                      ref ((Some (Parameter,
                                                                  _)));
                                                      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 = true;
                                         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 = false;
         facts = <opaque> },
       _));
    s_range = None }
  ]