| Some (Cic.Name s,_) -> get_initial s)
| Cic.Var (uri,_) -> get_initial (UriManager.name_of_uri uri)
| Cic.Sort _ -> higher_name 0 ty
| Some (Cic.Name s,_) -> get_initial s)
| Cic.Var (uri,_) -> get_initial (UriManager.name_of_uri uri)
| Cic.Sort _ -> higher_name 0 ty