test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:32:5: error: cannot bind provides port `p' to provides port `p'
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:17:3: info: port `p' defined here
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:17:3: info: port `p' defined here
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:33:5: error: cannot bind requires port `r' to requires port `r'
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:18:3: info: port `r' defined here
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:18:3: info: port `r' defined here
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:34:5: error: cannot bind provides port `p1' to requires port `r'
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:25:3: info: port `p1' defined here
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:18:3: info: port `r' defined here
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:35:5: error: cannot bind provides port `p' to requires port `r1'
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:17:3: info: port `p' defined here
test-models/wf_bindingPortDirection/wf_bindingPortDirection.dzn:26:3: info: port `r1' defined here
