Make TEST-PREDICATE varargs