Add tests of VertexVisited, use it syntax in tests