test-models/wf_bindingPortNotBound/wf_bindingPortNotBound.dzn:24:3: error: port `i' of type `Intf' not bound
test-models/wf_bindingPortNotBound/wf_bindingPortNotBound.dzn:27:5: error: port `i' of type `Intf' not bound
