kosaraju, two sat, strongly connected comps