test-models/wf_replyOnOutEventMultiplePort/wf_replyOnOutEventMultiplePort.dzn:32:30: error: must specify a provides-port with reply on requires out-trigger: `sensor.activated'
