| C.AMutInd (id,_,_,_) -> print_ann i2a id
| C.AMutConstruct (id,_,_,_,_) -> print_ann i2a id
| C.AMutCase (id,_,_,_,ty,te,patterns) ->
| C.AMutInd (id,_,_,_) -> print_ann i2a id
| C.AMutConstruct (id,_,_,_,_) -> print_ann i2a id
| C.AMutCase (id,_,_,_,ty,te,patterns) ->