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