Added type Set []Predicate