Cic.MutInd (NUri.ouri_of_nuri u,i,[])
| NCic.Const (NReference.Ref (_,u,NReference.Con (i,j))) ->
Cic.MutConstruct (NUri.ouri_of_nuri u,i,j,[])
| NCic.Const (NReference.Ref (_,u,NReference.Def))
| NCic.Const (NReference.Ref (_,u,NReference.Decl)) ->
Cic.Const (NUri.ouri_of_nuri u,[])
Cic.MutInd (NUri.ouri_of_nuri u,i,[])
| NCic.Const (NReference.Ref (_,u,NReference.Con (i,j))) ->
Cic.MutConstruct (NUri.ouri_of_nuri u,i,j,[])
| NCic.Const (NReference.Ref (_,u,NReference.Def))
| NCic.Const (NReference.Ref (_,u,NReference.Decl)) ->
Cic.Const (NUri.ouri_of_nuri u,[])