test-models/wf_outEventNonVoidReturn/wf_outEventNonVoidReturn.dzn:12:3: error: out-event `triggered' must be void, found `Sensor.Value'
