test-models/wf_eventNotAction/wf_eventNotAction.dzn:14:18: error: cannot use in-event `deactivate' as action
test-models/wf_eventNotAction/wf_eventNotAction.dzn:11:3: info: event `deactivate' defined here
test-models/wf_eventNotAction/wf_eventNotAction.dzn:23:30: error: cannot use provides in-event `deactivate' as action
test-models/wf_eventNotAction/wf_eventNotAction.dzn:20:3: info: port `sensor1' defined here
test-models/wf_eventNotAction/wf_eventNotAction.dzn:11:3: info: event `deactivate' defined here
test-models/wf_eventNotAction/wf_eventNotAction.dzn:24:30: error: cannot use requires out-event `deactivated' as action
test-models/wf_eventNotAction/wf_eventNotAction.dzn:21:3: info: port `sensor2' defined here
test-models/wf_eventNotAction/wf_eventNotAction.dzn:12:3: info: event `deactivated' defined here
