SCC+DFS, complicate, todo