Symbol: trie_check_add_elem