[{ s =
   (ExprStmt (
      { e =
        (StmtExpr
           { s =
             (Block
                (_,
                 [{ s =
                    (DefStmt
                       ({ name =
                          (EN
                             (Id (("x", _),
                                { id_resolved = ref ((Some (Global, 9)));
                                  id_resolved_alternatives = ref ([]);
                                  id_type = ref (None);
                                  id_svalue = ref (None); id_flags = ref (0);
                                  id_info_id = 51 }
                                )));
                          attrs = []; tparams = None },
                        (VarDef
                           { vinit =
                             (Some { e =
                                     (Call (
                                        { e =
                                          (N
                                             (Id (("foo", _),
                                                { id_resolved = ref (None);
                                                  id_resolved_alternatives =
                                                  ref ([]);
                                                  id_type = ref (None);
                                                  id_svalue = ref (None);
                                                  id_flags = ref (0);
                                                  id_info_id = 50 }
                                                )));
                                          e_id = 0; e_range = None;
                                          is_implicit_return = false;
                                          facts = <opaque> },
                                        (_,
                                         [(Arg
                                             { e = (L (Float ((Some 1.), _)));
                                               e_id = 0; e_range = None;
                                               is_implicit_return = false;
                                               facts = <opaque> });
                                           (Arg
                                              { e =
                                                (L (Float ((Some 2.), _)));
                                                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 };
                   { s =
                     (ExprStmt (
                        { e =
                          (StmtExpr
                             { s =
                               (Block
                                  (_,
                                   [{ s =
                                      (DefStmt
                                         ({ name =
                                            (EN
                                               (Id (("y", _),
                                                  { id_resolved =
                                                    ref ((Some (Global, 10)));
                                                    id_resolved_alternatives =
                                                    ref ([]);
                                                    id_type = ref (None);
                                                    id_svalue = ref (None);
                                                    id_flags = ref (0);
                                                    id_info_id = 53 }
                                                  )));
                                            attrs = []; tparams = None },
                                          (VarDef
                                             { vinit =
                                               (Some { e =
                                                       (Call (
                                                          { e =
                                                            (N
                                                               (Id (
                                                                  ("foo", _),
                                                                  { id_resolved =
                                                                    ref (None);
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref (None);
                                                                    id_flags =
                                                                    ref (0);
                                                                    id_info_id =
                                                                    52 }
                                                                  )));
                                                            e_id = 0;
                                                            e_range = None;
                                                            is_implicit_return =
                                                            false;
                                                            facts = <opaque>
                                                            },
                                                          (_,
                                                           [(Arg
                                                               { e =
                                                                 (L
                                                                    (
                                                                    Float
                                                                    ((Some 1.),
                                                                    _)));
                                                                 e_id = 0;
                                                                 e_range =
                                                                 None;
                                                                 is_implicit_return =
                                                                 false;
                                                                 facts =
                                                                 <opaque> });
                                                             (Arg
                                                                { e =
                                                                  (L
                                                                    (Float
                                                                    ((Some 2.),
                                                                    _)));
                                                                  e_id = 0;
                                                                  e_range =
                                                                  None;
                                                                  is_implicit_return =
                                                                  false;
                                                                  facts =
                                                                  <opaque> });
                                                             (Arg
                                                                { e =
                                                                  (L
                                                                    (Float
                                                                    ((Some 3.),
                                                                    _)));
                                                                  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 };
                                     { s =
                                       (ExprStmt (
                                          { e =
                                            (Call (
                                               { e =
                                                 (N
                                                    (Id (("foo", _),
                                                       { id_resolved =
                                                         ref (None);
                                                         id_resolved_alternatives =
                                                         ref ([]);
                                                         id_type = ref (None);
                                                         id_svalue =
                                                         ref (None);
                                                         id_flags = ref (0);
                                                         id_info_id = 54 }
                                                       )));
                                                 e_id = 0; e_range = None;
                                                 is_implicit_return = false;
                                                 facts = <opaque> },
                                               (_,
                                                [(Arg
                                                    { e =
                                                      (L
                                                         (Float
                                                            ((Some 1.), _)));
                                                      e_id = 0;
                                                      e_range = None;
                                                      is_implicit_return =
                                                      false; facts = <opaque>
                                                      });
                                                  (Arg
                                                     { e =
                                                       (L
                                                          (Float
                                                             ((Some 2.), _)));
                                                       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_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> },
      _));
   s_range = None }
  ]