Less duplication of prune_trie.h