isl_map_subtract: handle duplicate divs in subtrahend