Official Description
6.6.6.4 For succ(x), the function yields a value whose ordinal number is one greater 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.