debugging dfs for scc