each node in the callgraph w/o scc will be visited exactly once.