test-models/wf_dataInoutInOutEvent/wf_dataInoutInOutEvent.dzn:13:21: error: cannot use inout-parameter on out-event `callback'
