Did you know ... Search Documentation:
The PREDICATE and PREDICATE_NONDET macros (version 2)