The code violates a precondition.
For expression evaluation, the assertions are disabled, so no violation.

Any idea to create new instance of SPECIAL [INTEGER] for instance?