| C.MutConstruct (uri,tyno,consno,exp_named_subst) ->
let exp_named_subst' = fix_exp_named_subst context exp_named_subst in
C.MutConstruct (uri, tyno, consno, exp_named_subst')
| C.MutConstruct (uri,tyno,consno,exp_named_subst) ->
let exp_named_subst' = fix_exp_named_subst context exp_named_subst in
C.MutConstruct (uri, tyno, consno, exp_named_subst')