Detected exception: SYSTEM.ASSERTIONS.ASSERT_FAILURE

When trying to generate the binary of the example attached (executing ./buildSystem.sh), we get the following error:

+========================== OCARINA BUG DETECTED =========================+ | Detected exception: SYSTEM.ASSERTIONS.ASSERT_FAILURE                    | | Error: ocarina-namet.adb:148                                            | | Please refer to the User's Guide for more details.                      | +=========================================================================+

Example: cas_example.tar.gz

Thanks