| Ast0.DisjId(_,id_list,_,_) ->
List.iter (ident context old_metas table minus) id_list
| Ast0.OptIdent(_) | Ast0.UniqueIdent(_) ->
| Ast0.DisjId(_,id_list,_,_) ->
List.iter (ident context old_metas table minus) id_list
| Ast0.OptIdent(_) | Ast0.UniqueIdent(_) ->