[{ s =
   (ExprStmt (
      { e =
        (StmtExpr
           { s =
             (For (_,
                (MultiForEach
                   [(FECond (
                       ((PatId (("x", _),
                           { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                          e_range = None; is_implicit_return = false;
                          facts = <opaque> }),
                       _,
                       { e = (L (Bool (true, _))); e_id = 0; e_range = None;
                         is_implicit_return = false; facts = <opaque> }
                       ))
                     ]),
                { s =
                  (ExprStmt (
                     { e =
                       (Yield (_,
                          (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                  e_range = None; is_implicit_return = false;
                                  facts = <opaque> }),
                          false));
                       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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FE
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }))
                      ]),
                 { s =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FE
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }))
                      ]),
                 { s =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FECond (
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }),
                        _,
                        { e = (L (Bool (true, _))); e_id = 0; e_range = None;
                          is_implicit_return = false; facts = <opaque> }
                        ))
                      ]),
                 { s =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FECond (
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }),
                        _,
                        { e =
                          (Call (
                             { e =
                               (DotAccess (
                                  { e = (L (Bool (true, _))); e_id = 0;
                                    e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> },
                                  _,
                                  (FN
                                     (Id (("if", _),
                                        { 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 (Bool (false, _))); 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 =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FECond (
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }),
                        _,
                        { 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 = (L (Bool (true, _))); e_id = 0;
                                    e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> });
                                (Arg
                                   { e = (L (Bool (false, _))); 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 =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FECond (
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }),
                        _,
                        { 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 = (L (Bool (true, _))); e_id = 0;
                                    e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> });
                                (Arg
                                   { e = (L (Bool (false, _))); 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 =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FECond (
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }),
                        _,
                        { 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 = (L (Bool (true, _))); e_id = 0;
                                    e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> });
                                (Arg
                                   { e = (L (Bool (false, _))); 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 =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FECond (
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }),
                        _,
                        { 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 = (L (Bool (true, _))); e_id = 0;
                                    e_range = None;
                                    is_implicit_return = false;
                                    facts = <opaque> });
                                (Arg
                                   { e = (L (Bool (false, _))); 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 =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FECond (
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }),
                        _,
                        { e = (L (Bool (true, _))); e_id = 0; e_range = None;
                          is_implicit_return = false; facts = <opaque> }
                        ))
                      ]),
                 { s =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FECond (
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }),
                        _,
                        { e = (L (Bool (true, _))); e_id = 0; e_range = None;
                          is_implicit_return = false; facts = <opaque> }
                        ))
                      ]),
                 { s =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FE
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }));
                      (FECond (
                         ((PatId (("x", _),
                             { 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 = (L (Int ((Some 6L), _))); e_id = 0;
                            e_range = None; is_implicit_return = false;
                            facts = <opaque> }),
                         _,
                         { 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 = (L (Bool (true, _))); e_id = 0;
                                     e_range = None;
                                     is_implicit_return = false;
                                     facts = <opaque> });
                                 (Arg
                                    { e = (L (Bool (false, _))); 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 =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 =
    (ExprStmt (
       { e =
         (StmtExpr
            { s =
              (For (_,
                 (MultiForEach
                    [(FE
                        ((PatId (("x", _),
                            { 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 = (L (Int ((Some 5L), _))); e_id = 0;
                           e_range = None; is_implicit_return = false;
                           facts = <opaque> }));
                      (FECond (
                         ((PatId (("x", _),
                             { 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 = (L (Int ((Some 6L), _))); e_id = 0;
                            e_range = None; is_implicit_return = false;
                            facts = <opaque> }),
                         _,
                         { 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 = (L (Bool (true, _))); e_id = 0;
                                     e_range = None;
                                     is_implicit_return = false;
                                     facts = <opaque> });
                                 (Arg
                                    { e = (L (Bool (false, _))); 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 =
                   (ExprStmt (
                      { e =
                        (Yield (_,
                           (Some { e = (L (Int ((Some 2L), _))); e_id = 0;
                                   e_range = None;
                                   is_implicit_return = false;
                                   facts = <opaque> }),
                           false));
                        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 }
  ]