test-models/wf_replyPort/wf_replyPort.dzn:20:23: error: undefined port `foo'
