Problems with succ

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.