C.AConst (fresh_id'', uri, cn)
| C.MutInd (uri,cn,tyno) -> C.AMutInd (fresh_id'', uri, cn, tyno)
| C.MutConstruct (uri,cn,tyno,consno) ->
Hashtbl.add ids_to_inner_sorts fresh_id'' innersort ;
C.AConst (fresh_id'', uri, cn)
| C.MutInd (uri,cn,tyno) -> C.AMutInd (fresh_id'', uri, cn, tyno)
| C.MutConstruct (uri,cn,tyno,consno) ->
Hashtbl.add ids_to_inner_sorts fresh_id'' innersort ;