iterative and future based kosaraju, scc, two sat