add isl_set_upper_bound_si