isl_basic_set_compute_vertices: set activity domain on single vertex