pub fn build_tries(termenv: &TermEnv) -> BTreeMap<TermId, TrieNode>
Construct the tries for each term.