Function dfs_collect_scc 

fn dfs_collect_scc<'a, T: Types>(
    node: &'a T::KVar,
    graph: &'a HashMap<T::KVar, Vec<T::KVar>>,
    visited: &mut HashSet<T::KVar>,
    scc: &mut Vec<T::KVar>,
)