test-models/wf_eventNotTrigger/wf_eventNotTrigger.dzn:16:8: error: cannot use out-event `deactivated' as trigger
test-models/wf_eventNotTrigger/wf_eventNotTrigger.dzn:12:3: info: event `deactivated' defined here
test-models/wf_eventNotTrigger/wf_eventNotTrigger.dzn:25:8: error: cannot use provides out-event `deactivated' as trigger
test-models/wf_eventNotTrigger/wf_eventNotTrigger.dzn:21:3: info: port `sensor1' defined here
test-models/wf_eventNotTrigger/wf_eventNotTrigger.dzn:12:3: info: event `deactivated' defined here
test-models/wf_eventNotTrigger/wf_eventNotTrigger.dzn:26:8: error: cannot use requires in-event `activate' as trigger
test-models/wf_eventNotTrigger/wf_eventNotTrigger.dzn:22:3: info: port `sensor2' defined here
test-models/wf_eventNotTrigger/wf_eventNotTrigger.dzn:10:3: info: event `activate' defined here
