@Test
    void testCycleMutexVerification() throws DeserialisationException {
        String workName = PackageUtils.getPackagePath(getClass(), "cycle-mutex.stg.work");
        testVerificationCommands(workName,
                true, // combined