[{ s =
   (Try (_,
      { s =
        (Block
           (_,
            [{ s =
               (ExprStmt (
                  { e =
                    (Call (
                       { e = (Special ((Op Div), _)); e_id = 0;
                         e_range = None; is_implicit_return = false;
                         facts = <opaque> },
                       (_,
                        [(Arg
                            { e = (L (Int ((Some 1L), _))); e_id = 0;
                              e_range = None; is_implicit_return = false;
                              facts = <opaque> });
                          (Arg
                             { e = (L (Int ((Some 0L), _))); 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 },
      [(_,
        (CatchParam
           { pname = (Some ("e", _));
             ptype =
             (Some { t =
                     (TyExpr
                        { e =
                          (N
                             (Id (("Exception", _),
                                { 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> });
                     t_attrs = [] });
             pdefault = None; pattrs = [];
             pinfo =
             { id_resolved = ref ((Some (Global, _)));
               id_resolved_alternatives = ref ([]); id_type = ref (None);
               id_svalue = ref (Unknown); id_flags = ref (0); id_info_id = _
               }
             }),
        { s =
          (Block
             (_,
              [{ s =
                 (ExprStmt (
                    { e =
                      (Call (
                         { e =
                           (N
                              (Id (("print", _),
                                 { 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 =
                                (Call (
                                   { e = (Special ((Op Mod), _)); e_id = 0;
                                     e_range = None;
                                     is_implicit_return = false;
                                     facts = <opaque> },
                                   (_,
                                    [(Arg
                                        { e =
                                          (L
                                             (String
                                                (_,
                                                 ("Caught exception: %s", _),
                                                 _)));
                                          e_id = 0; e_range = None;
                                          is_implicit_return = false;
                                          facts = <opaque> });
                                      (Arg
                                         { e =
                                           (N
                                              (Id (("e", _),
                                                 { 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>
                                })
                            ],
                          _)
                         ));
                      e_id = 0; e_range = None; is_implicit_return = false;
                      facts = <opaque> },
                    _));
                 s_range = None }
                ],
              _));
          s_range = None })
        ],
      None, None));
   s_range = None };
  { s =
    (Try (_,
       { s =
         (Block
            (_,
             [{ s =
                (ExprStmt (
                   { e =
                     (Call (
                        { e = (Special ((Op Div), _)); e_id = 0;
                          e_range = None; is_implicit_return = false;
                          facts = <opaque> },
                        (_,
                         [(Arg
                             { e = (L (Int ((Some 1L), _))); e_id = 0;
                               e_range = None; is_implicit_return = false;
                               facts = <opaque> });
                           (Arg
                              { e = (L (Int ((Some 0L), _))); 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 },
       [(_,
         (CatchParam
            { pname = (Some ("e", _));
              ptype =
              (Some { t =
                      (TyExpr
                         { e =
                           (N
                              (Id (("Exception", _),
                                 { 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> });
                      t_attrs = [] });
              pdefault = None; pattrs = [];
              pinfo =
              { id_resolved = ref ((Some (Global, _)));
                id_resolved_alternatives = ref ([]); id_type = ref (None);
                id_svalue = ref (Unknown); id_flags = ref (0); id_info_id = _
                }
              }),
         { s =
           (Block
              (_,
               [{ s =
                  (ExprStmt (
                     { e =
                       (Call (
                          { e =
                            (N
                               (Id (("print", _),
                                  { 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 =
                                 (Call (
                                    { e = (Special ((Op Mod), _)); e_id = 0;
                                      e_range = None;
                                      is_implicit_return = false;
                                      facts = <opaque> },
                                    (_,
                                     [(Arg
                                         { e =
                                           (L
                                              (String
                                                 (_,
                                                  ("Caught exception: %s", _),
                                                  _)));
                                           e_id = 0; e_range = None;
                                           is_implicit_return = false;
                                           facts = <opaque> });
                                       (Arg
                                          { e =
                                            (N
                                               (Id (("e", _),
                                                  { 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>
                                 })
                             ],
                           _)
                          ));
                       e_id = 0; e_range = None; is_implicit_return = false;
                       facts = <opaque> },
                     _));
                  s_range = None }
                 ],
               _));
           s_range = None })
         ],
       None, None));
    s_range = None };
  { s =
    (OtherStmtWithStmt (OSWS_With,
       [(E
           { e =
             (LetPattern (
                (PatId (("f", _),
                   { 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 =
                  (Call (
                     { e =
                       (N
                          (Id (("f", _),
                             { 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> }
                ));
             e_id = 0; e_range = None; is_implicit_return = false;
             facts = <opaque> })
         ],
       { s =
         (Block
            (_, [{ s = (OtherStmt (OS_Pass, [(Tk _)])); s_range = None }], _));
         s_range = None }
       ));
    s_range = None };
  { s =
    (OtherStmtWithStmt (OSWS_With,
       [(E
           { e =
             (LetPattern (
                (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 = _ }
                   )),
                { e =
                  (Call (
                     { e =
                       (N
                          (Id (("f", _),
                             { id_resolved = ref ((Some (Global, _)));
                               id_resolved_alternatives = ref ([]);
                               id_type = ref (None);
                               id_svalue =
                               ref ((Sym
                                       { e =
                                         (Call (
                                            { e =
                                              (N
                                                 (Id (("f", _),
                                                    { 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> }));
                               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> }
                ));
             e_id = 0; e_range = None; is_implicit_return = false;
             facts = <opaque> })
         ],
       { s =
         (Block
            (_,
             [{ s =
                (OtherStmtWithStmt (OSWS_With,
                   [(E
                       { e =
                         (LetPattern (
                            (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 =
                              (Call (
                                 { e =
                                   (N
                                      (Id (("g", _),
                                         { 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> },
                                 (_, [], _)));
                              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 =
                     (Block
                        (_,
                         [{ s =
                            (ExprStmt (
                               { e =
                                 (Container (Tuple,
                                    (_,
                                     [{ e =
                                        (N
                                           (Id (("a", _),
                                              { id_resolved =
                                                ref ((Some (Global, _)));
                                                id_resolved_alternatives =
                                                ref ([]);
                                                id_type = ref (None);
                                                id_svalue =
                                                ref ((Sym
                                                        { e =
                                                          (Call (
                                                             { e =
                                                               (N
                                                                  (Id (
                                                                    ("f", _),
                                                                    { id_resolved =
                                                                    ref ((Some (
                                                                    Global, _)));
                                                                    id_resolved_alternatives =
                                                                    ref (
                                                                    []);
                                                                    id_type =
                                                                    ref (None);
                                                                    id_svalue =
                                                                    ref ((
                                                                    Sym
                                                                    { e =
                                                                    (Call (
                                                                    { e =
                                                                    (N
                                                                    (Id (
                                                                    ("f", _),
                                                                    { 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>
                                                                    }));
                                                                    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> }));
                                                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 ((Sym
                                                         { e =
                                                           (Call (
                                                              { e =
                                                                (N
                                                                   (Id (
                                                                    ("g", _),
                                                                    { 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> },
                                                              (_, [], _)));
                                                           e_id = 0;
                                                           e_range = None;
                                                           is_implicit_return =
                                                           false;
                                                           facts = <opaque> }));
                                                 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>
                                 },
                               _));
                            s_range = None }
                           ],
                         _));
                     s_range = None }
                   ));
                s_range = None }
               ],
             _));
         s_range = None }
       ));
    s_range = None }
  ]