@Test
    void testToggleSignalVerification() throws DeserialisationException {
        String workName = PackageUtils.getPackagePath(getClass(),
                "toggle_signals-no_input_properness-no_output_determinacy.stg.work");