add isl_basic_set_max