update isl for isl_basic_set_drop_constraint