refined FullDomainHash; init but not finished PerfectHashMap; Domain is suspended for the BinaryTree