GraphCycleTraverser and test for it