add isl_basic_map_upper_bound_si