test-models/wf_notPort/wf_notPort.dzn:20:8: error: `p' is not a port
test-models/wf_notPort/wf_notPort.dzn:18:5: info: `p' declared here
test-models/wf_notPort/wf_notPort.dzn:33:8: error: `p' is not a port
test-models/wf_notPort/wf_notPort.dzn:31:5: info: `p' declared here
