| C.MutCase (uri,n1,ty,te,patterns) ->
let connames_and_argsno =
(match fst(CicEnvironment.get_obj CicUniv.empty_ugraph uri) with
| C.MutCase (uri,n1,ty,te,patterns) ->
let connames_and_argsno =
(match fst(CicEnvironment.get_obj CicUniv.empty_ugraph uri) with