test-models/wf_bindingExternals/wf_bindingExternals.dzn:53:5: error: cannot bind non-external port `r' to external port `r1'
test-models/wf_bindingExternals/wf_bindingExternals.dzn:34:3: info: port `r' defined here
test-models/wf_bindingExternals/wf_bindingExternals.dzn:47:3: info: port `r1' defined here
