[GNAT] This restriction checks at compile time that no GNAT-defined restriction
identifiers (other than No_Implementation_Restrictions
itself)
are present. With this restriction, the only other restriction identifiers
that can be used are those defined in the Ada Reference Manual.