[{ s =
   (ExprStmt (
      { e =
        (Assign (
           { e =
             (N
                (Id (("a", _),
                   { 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 (_, ("foo", _), _))); 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 }
  ]