SUCC(expression)
Returns the next value of <expression>.
If <expression> is of type BOOLEAN, the result is always TRUE.
No overflow / underflow check is made at run-time.
Range checking is made only if <expression> refers to a constant value identifier.