used the new predicate functiions for xReject_s, and added safer testing for truth in xreject, xselect and so on.