public static void Iteration([PexAssumeUnderTest] IVertexListGraph <T, E> g) { int i = 0; foreach (T v in PexSymbolicValue.IgnoreEnumeration(g.Vertices)) { ++i; } Assert.AreEqual(g.VertexCount, i); }