Problems with pred

Official Description

6.6.6.4 For pred(x), the function yields a value whose ordinal number is one less than that of x, if such a value exists. It is an error if such a value does not exist.

Error Handling

This error is reported if range checking is enabled.