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);
}
