test-models/wf_bindingRequiredWildcard/wf_bindingRequiredWildcard.dzn:29:5: error: cannot bind wildcard to requires port `i'
test-models/wf_bindingRequiredWildcard/wf_bindingRequiredWildcard.dzn:17:3: info: port `i' defined here
