test no non-directed cycles of digraph

  Thanks to Tom Dye for this test.
only follow directed edges in digraph cycles
cleaner cycle reduction