test-models/wf_missing_bindings/wf_missing_bindings.dzn:27:3: error: port `r' of type `ihello' not bound
test-models/wf_missing_bindings/wf_missing_bindings.dzn:30:5: error: port `r' of type `ihello' not bound
test-models/wf_missing_bindings/wf_missing_bindings.dzn:32:5: error: port `p' of type `ihello' not bound
test-models/wf_missing_bindings/wf_missing_bindings.dzn:32:5: error: port `r' of type `ihello' not bound
