add isl_union_map_subtract_domain