static IPred setToPredicate(Set set) { ret set == null ? a -> false : a -> contains(set, a); }