isl_basic_map_add_div_constraints: return modified result