This aspect is equivalent to pragma Predicate. It is thus
similar to the language defined aspects Dynamic_Predicate
and Static_Predicate except that whether the resulting
predicate is static or dynamic is controlled by the form of the
expression. It is also separately controllable using pragma
Assertion_Policy.