fn predecessor_sets_to_idx_vecs<N>( post_order: &[N], node_to_post_order_idx: &HashMap<N, usize>, predecessor_sets: HashMap<N, HashSet<N>>, ) -> Vec<Vec<usize>>where N: Copy + Eq + Hash,