DependenceGraph create and tarjan for SCC DONE