Implemented ht_is_subset