add isl_set_universe