Uppaal 5.1.0-beta5 crashes with SIGSEGV when loading a strategy.

[GameMonkey]

Describe the bug
Uppaal 5.1.0-beta5 crashes with SIGSEGV when loading a strategy.

I have attached a minimum example.

To Reproduce
Steps to reproduce the behavior:

1. Download the model
   ErrorLoadingStrategies.xml

2. Open the model in Uppaal 5.1.0-beta5

3. Execute the first query to learn a strategy.

4. Execute the second query to store the strategy.

5. Execute the final query to load the strategy and see the error.

Version(s) of UPPAAL tested
The feature works on Uppaal 5.0.0, but not in the beta version.

Desktop (please complete the following information):
UPPAAL 5.1.0-beta5 (rev. C7C01B0740E14075), December 2023
Copyright (c) 2011 - 2023, Aalborg University.
Copyright (c) 1995 - 2011, Uppsala University and Aalborg University.
All rights reserved.
Compiled using -DENABLE_TIGA -DMULTI_TERMINAL -DENABLE_TIGA_SMC -DENABLE_STORE_MINGRAPH -DTIGA_OTF_BUCHI -DENABLE_LSC
Built with Boost-1.79.0, LibXml2-2.11.5, xxHash-0.8.1, UTAP-2.1.0, UUtils-1.2.0, UDBM-2.0.11, UCDD-0.2.1, lease-2.5.2

• Ubuntu 24.04