Faster check for non-empty list of meta-variables when checking calls to a meta-predicate from a user-defined meta-predicate