test-models/wf_replyOnPort/wf_replyOnPort.dzn:21:24: error: port `start2' does not match with trigger port `start1'
