Topological sort
Recursive dfs, added back edge and froward or cross edge action points for graph visitor