[{ 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 =
                    (OtherExpr (("QuoteBlock", _),
                       [(E
                           { e =
                             (StmtExpr
                                { s = (Block (_, [], _)); 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> });
            vtype = None; vtok = None })));
   s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("y", _),
                { 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 =
                     (OtherExpr (("QuoteBlock", _),
                        [(E
                            { e =
                              (StmtExpr
                                 { s =
                                   (Block
                                      (_,
                                       [{ s =
                                          (ExprStmt (
                                             { e =
                                               (Call (
                                                  { e =
                                                    (DotAccess (
                                                       { e =
                                                         (L
                                                            (Int
                                                               ((Some 3L), _)));
                                                         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
                                                            (Int
                                                               ((Some 4L), _)));
                                                         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> })
                          ]
                        ));
                     e_id = 0; e_range = None; is_implicit_return = false;
                     facts = <opaque> });
             vtype = None; vtok = None })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("z", _),
                { 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 =
                     (OtherExpr (("QuoteType", _),
                        [(T
                            { t =
                              (TyN
                                 (Id (("Int", _),
                                    { id_resolved = ref (None);
                                      id_resolved_alternatives = ref ([]);
                                      id_type = ref (None);
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    )));
                              t_attrs = [] })
                          ]
                        ));
                     e_id = 0; e_range = None; is_implicit_return = false;
                     facts = <opaque> });
             vtype = None; vtok = None })));
    s_range = None };
  { s =
    (DefStmt
       ({ name =
          (EN
             (Id (("w", _),
                { 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 =
                     (OtherExpr (("QuoteType", _),
                        [(T
                            { t =
                              (TyFun (
                                 [(Param
                                     { pname = None;
                                       ptype =
                                       (Some { t =
                                               (TyN
                                                  (Id (("Int", _),
                                                     { id_resolved =
                                                       ref (None);
                                                       id_resolved_alternatives =
                                                       ref ([]);
                                                       id_type = ref (None);
                                                       id_svalue =
                                                       ref (Unknown);
                                                       id_flags = ref (0);
                                                       id_info_id = _ }
                                                     )));
                                               t_attrs = [] });
                                       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 = _ }
                                       })
                                   ],
                                 { t =
                                   (TyN
                                      (Id (("String", _),
                                         { id_resolved = ref (None);
                                           id_resolved_alternatives =
                                           ref ([]); id_type = ref (None);
                                           id_svalue = ref (Unknown);
                                           id_flags = ref (0); id_info_id = _
                                           }
                                         )));
                                   t_attrs = [] }
                                 ));
                              t_attrs = [] })
                          ]
                        ));
                     e_id = 0; e_range = None; is_implicit_return = false;
                     facts = <opaque> });
             vtype = None; vtok = None })));
    s_range = None };
  { s =
    (ExprStmt (
       { e =
         (LetPattern (
            (OtherPat (("QuotePat", _),
               [(E
                   { e =
                     (OtherExpr (("QuoteBlock", _),
                        [(E
                            { e =
                              (StmtExpr
                                 { s = (Block (_, [], _)); 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 = (L (Int ((Some 4L), _))); 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 =
         (LetPattern (
            (OtherPat (("QuotePat", _),
               [(E
                   { e =
                     (OtherExpr (("QuoteBlock", _),
                        [(E
                            { e =
                              (StmtExpr
                                 { s =
                                   (Block
                                      (_,
                                       [{ s =
                                          (ExprStmt (
                                             { e =
                                               (Call (
                                                  { e =
                                                    (DotAccess (
                                                       { e =
                                                         (L
                                                            (Int
                                                               ((Some 3L), _)));
                                                         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
                                                            (Int
                                                               ((Some 5L), _)));
                                                         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> })
                          ]
                        ));
                     e_id = 0; e_range = None; is_implicit_return = false;
                     facts = <opaque> })
                 ]
               )),
            { e = (L (Int ((Some 4L), _))); 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 =
         (LetPattern (
            (OtherPat (("QuotePat", _),
               [(E
                   { e =
                     (OtherExpr (("QuoteType", _),
                        [(T
                            { t =
                              (TyN
                                 (Id (("Int", _),
                                    { id_resolved = ref (None);
                                      id_resolved_alternatives = ref ([]);
                                      id_type = ref (None);
                                      id_svalue = ref (Unknown);
                                      id_flags = ref (0); id_info_id = _ }
                                    )));
                              t_attrs = [] })
                          ]
                        ));
                     e_id = 0; e_range = None; is_implicit_return = false;
                     facts = <opaque> })
                 ]
               )),
            { e = (L (Int ((Some 6L), _))); 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 }
  ]