test-models/wf_bindingSameType/wf_bindingSameType.dzn:42:9: error: type mismatch: cannot bind port `p' of type `II' to port p of type `I'
test-models/wf_bindingSameType/wf_bindingSameType.dzn:34:5: info: port `p' defined here
test-models/wf_bindingSameType/wf_bindingSameType.dzn:24:5: info: port `p' defined here
test-models/wf_bindingSameType/wf_bindingSameType.dzn:43:9: error: type mismatch: cannot bind port `r' of type `I' to port p of type `II'
test-models/wf_bindingSameType/wf_bindingSameType.dzn:25:5: info: port `r' defined here
test-models/wf_bindingSameType/wf_bindingSameType.dzn:29:5: info: port `p' defined here
test-models/wf_bindingSameType/wf_bindingSameType.dzn:44:9: error: type mismatch: cannot bind port `r' of type `II' to port p of type `I'
test-models/wf_bindingSameType/wf_bindingSameType.dzn:30:5: info: port `r' defined here
test-models/wf_bindingSameType/wf_bindingSameType.dzn:24:5: info: port `p' defined here
test-models/wf_bindingSameType/wf_bindingSameType.dzn:45:9: error: type mismatch: cannot bind port `r' of type `I' to port r of type `II'
test-models/wf_bindingSameType/wf_bindingSameType.dzn:25:5: info: port `r' defined here
test-models/wf_bindingSameType/wf_bindingSameType.dzn:35:5: info: port `r' defined here
