[{ s =
   (Return (_,
      (Some { e =
              (Xml
                 { xml_kind =
                   (XmlClassic (_,
                      (Id (("a", _),
                         { id_resolved = ref (None);
                           id_resolved_alternatives = ref ([]);
                           id_type = ref (None); id_svalue = ref (Unknown);
                           id_flags = ref (0); id_info_id = _ }
                         )),
                      _, _));
                   xml_attrs = []; xml_body = [(XmlText ("text", _))] });
              e_id = 0; e_range = None; is_implicit_return = false;
              facts = <opaque> }),
      _));
   s_range = None }
  ]