test-models/wf_injectionOutEvent/wf_injectionOutEvent.dzn:25:3: error: injected port `ii' has out events: notif
test-models/wf_injectionOutEvent/wf_injectionOutEvent.dzn:16:3: info: port defined here
