Cycles in digraph -- needed for toposort