add isl_basic_set_interval and isl_basic_set_product