add isl_basic_set_max_val