test-models/wf_replyRequiresPort/wf_replyRequiresPort.dzn:29:23: error: cannot use requires port `sensor' in reply
test-models/wf_replyRequiresPort/wf_replyRequiresPort.dzn:27:3: info: port defined here
