workcraft/MpsatVerificationPlugin/test-res/org/workcraft/plugins/mpsat_verification/pulser-self_trigger_exceptions.stg.work from workcraft/workcraft