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