adding finding SCC in a DAG