SIGSEGV when loading model: Urgent Channel using helper function with exists expressions

[GameMonkey]

Describe the bug
I have a model of a simple Scheduling system of periodic tasks and a fixed-priority scheduler.

The scheduler uses a boolean helper function to check if a task is ready and, if so, whether it has a higher priority than the one currently running.

However, the model gives me a SIGSEGV error when loaded.

To Reproduce
Open the model scheduling-example.zip and press F5.

Expected behavior
Not to have a segfault

Version(s) of UPPAAL tested
UPPAAL 5.0.0 (rev. 714BA9DB36F49691), 2023-06-21

Desktop (please complete the following information):

OS:
Ubuntu 24.04 LTS

Java:

openjdk 21.0.4 2024-07-16
OpenJDK Runtime Environment (build 21.0.4+7-Ubuntu-1ubuntu224.04)
OpenJDK 64-Bit Server VM (build 21.0.4+7-Ubuntu-1ubuntu224.04, mixed mode, sharing)

[mikucionisaau]

The cause is the same as in here: #290

[mikucionisaau]

Pending release