isl_basic_map_add_div_constraint: return return modified result