add isl_set_dim_is_unique