Cic.Appl (Cic.MutInd (uri',_,_)::_) when uri = uri' -> ()
| Cic.MutInd (uri',_,_) when uri = uri' -> ()
| Cic.Prod (_,_,t) -> aux t
Cic.Appl (Cic.MutInd (uri',_,_)::_) when uri = uri' -> ()
| Cic.MutInd (uri',_,_) when uri = uri' -> ()
| Cic.Prod (_,_,t) -> aux t