Function find_sccs 

fn find_sccs<T: Types>(
    graph: &HashMap<T::KVar, Vec<T::KVar>>,
) -> Vec<Vec<T::KVar>>