add isl_map_subtract_range