public bool ContainsEdge01 <TVertex, TEdge>(
            [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target,
            TEdge edge
            )
            where TEdge : IEdge <TVertex>
        {
            // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.ContainsEdge01(ArrayAdjacencyGraph`2<!!0,!!1>, !!1)
            bool result = target.ContainsEdge(edge);

            return(result);
        }
        public bool ContainsEdge <TVertex, TEdge>(
            [PexAssumeUnderTest] ArrayAdjacencyGraph <TVertex, TEdge> target01,
            TVertex source,
            TVertex target
            )
            where TEdge : IEdge <TVertex>
        {
            // TODO: add assertions to method ArrayAdjacencyGraphTVertexTEdgeTest.ContainsEdge(ArrayAdjacencyGraph`2<!!0,!!1>, !!0, !!0)
            bool result = target01.ContainsEdge(source, target);

            return(result);
        }