List.fold_right (fun x i -> [< (aux x) ; i >]) li [<>]
>]
| C.AConst (id,_,_) -> print_ann i2a id
- | C.AAbst (id,_) -> raise NotImplemented
| C.AMutInd (id,_,_,_) -> print_ann i2a id
| C.AMutConstruct (id,_,_,_,_) -> print_ann i2a id
| C.AMutCase (id,_,_,_,ty,te,patterns) ->