Changed first_conjunct_of and second_conjunct of from HashTable* to Set.