When using undirected graphs, the implicit direction of each edge was
not properly handled, and the correlated case would not work. Now, in
this case, the direction is always checked, and the edge is inverted if
necessary.