[{ s =
   (DefStmt
      ({ name =
         (EN
            (Id (("f", _),
               { 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 = (Function, _);
            fparams =
            (_,
             [(Param
                 { pname = (Some ("!_implicit_param!", _)); 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 =
                 (Switch (_,
                    (Some (Cond
                             { e =
                               (N
                                  (Id (("!_implicit_param!", _),
                                     { 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> })),
                    [(CasesAndBody
                        ([(Case (_, (PatLiteral (Int ((Some 0L), _)))))],
                         { s =
                           (ExprStmt (
                              { e = (L (Int ((Some 1L), _))); e_id = 0;
                                e_range = None; is_implicit_return = false;
                                facts = <opaque> },
                              _));
                           s_range = None }));
                      (CasesAndBody
                         ([(Case (_, (PatLiteral (Int ((Some 1L), _)))))],
                          { s =
                            (ExprStmt (
                               { e = (L (Int ((Some 2L), _))); e_id = 0;
                                 e_range = None; is_implicit_return = false;
                                 facts = <opaque> },
                               _));
                            s_range = None }));
                      (CasesAndBody
                         ([(Case (_,
                              (PatId (("n", _),
                                 { id_resolved = ref ((Some (LocalVar, _)));
                                   id_resolved_alternatives = ref ([]);
                                   id_type = ref (None);
                                   id_svalue = ref (Unknown);
                                   id_flags = ref (0); id_info_id = _ }
                                 ))
                              ))
                            ],
                          { s =
                            (ExprStmt (
                               { e =
                                 (Call (
                                    { e =
                                      (N
                                         (Id (("+", _),
                                            { 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 =
                                           (N
                                              (Id (("n", _),
                                                 { 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_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> })
                                       ],
                                     _)
                                    ));
                                 e_id = 0; e_range = None;
                                 is_implicit_return = false; facts = <opaque>
                                 },
                               _));
                            s_range = None }))
                      ]
                    ));
                 s_range = None })
            })));
   s_range = None }
  ]