test-models/wf_replyFunctionMultiplePort/wf_replyFunctionMultiplePort.dzn:22:7: error: must specify a provides-port with reply
