Remove undefinable isdisjoint method
Return empty PredicateSet for self difference
Add tests for PredicateSet