Removed IntegerHuffmanTree as it is no longer used