tsort uses dfs/generic
refactor dfs/generic: pro/epilogue

- refactor scc to use dfs/generic