Succeeds if Term is a ground set or a set variable
Succeeds if Term is either a set (represented as a list) or a set
variable. For efficiency reasons, lists are not checked for being
valid set representations (i.e. strictly sorted lists of integers),
the predicate succeeds for any list.