isl_basic_set_lift: properly update the number of extra variables