node inclusion implemented in addition to node redundancy checking, but no much reduction on trie nodes