New predicate THREAD-EPHEMERAL-P for certain system threads