Topological sort
Digraph.Reverse
Oups should be reverted
Strongly connected components