[{ s =
   (ExprStmt (
      { e =
        (Assign (
           { e =
             (N
                (Id (("type", _),
                   { id_resolved = ref ((Some (Global, _)));
                     id_resolved_alternatives = ref ([]);
                     id_type =
                     ref ((Some { 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 = [] }));
                     id_svalue = ref (Unknown); id_flags = ref (4);
                     id_info_id = _ }
                   )));
             e_id = 0; e_range = None; is_implicit_return = false;
             facts = <opaque> },
           _,
           { e = (L (String (_, ("healthy", _), _))); 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 =
         (Assign (
            { e =
              (N
                 (Id (("table", _),
                    { id_resolved = ref ((Some (Global, _)));
                      id_resolved_alternatives = ref ([]);
                      id_type =
                      ref ((Some { 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 = [] }));
                      id_svalue = ref (Unknown); id_flags = ref (4);
                      id_info_id = _ }
                    )));
              e_id = 0; e_range = None; is_implicit_return = false;
              facts = <opaque> },
            _,
            { e = (L (String (_, ("food", _), _))); 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 =
         (Assign (
            { e =
              (N
                 (Id (("query", _),
                    { id_resolved = ref ((Some (Global, _)));
                      id_resolved_alternatives = ref ([]);
                      id_type =
                      ref ((Some { 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 = [] }));
                      id_svalue = ref (Unknown); id_flags = ref (4);
                      id_info_id = _ }
                    )));
              e_id = 0; e_range = None; is_implicit_return = false;
              facts = <opaque> },
            _,
            { e = (L (String (_, ("<<-SQL", _), _))); 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 }
  ]