Returns the set of values this predicate selects if this is a finite list. Returns Set.empty otherwise.
Set.empty