Function dfs_finish_order 

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