isl_test.c: test_vertices: check that the expected set of vertices are computed