update isl for rename of isl_basic_set_product