"Walks" edges in the digraph.
"Walks down" an edge <code>(x,y)</code> in the digraph.
See Implementation
"Walks" edges in the digraph.