update isl for isl_set_upper_bound_si