Add helper function islhelper.isl_vertices_vertices()