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