Syntax:
pragma Predicate_Failure ([Entity =>] type_LOCAL_NAME, [Message =>] String_Expression);
The Predicate_Failure pragma is intended to be an exact replacement for
the language-defined
Predicate_Failure aspect, and shares its restrictions and semantics.