Cic.Rel n ->
(match List.nth context (n-1) with
None -> assert false
- | Some (Cic.Anonymous,_) -> assert false
+ | Some (Cic.Anonymous,_) -> "eccomi_qua"
| Some (Cic.Name s,_) -> get_initial s)
| Cic.Var (uri,_) -> get_initial (UriManager.name_of_uri uri)
| Cic.Sort _ -> higher_name 0 ty