Class EqualityInference.EqualityPartition