test-models/wf_bindingPortBoundTwice/wf_bindingPortBoundTwice.dzn:29:5: error: port `i1' is bound more than once
test-models/wf_bindingPortBoundTwice/wf_bindingPortBoundTwice.dzn:30:5: error: port `i1' is bound more than once
