test-models/wf_undefined/wf_undefined.dzn:9:17: error: unknown type name `xxint'
test-models/wf_undefined/wf_undefined.dzn:10:18: error: unknown type name `xxxint'
test-models/wf_undefined/wf_undefined.dzn:12:5: error: unknown type name `yint'
test-models/wf_undefined/wf_undefined.dzn:14:7: error: unknown type name `zint'
test-models/wf_undefined/wf_undefined.dzn:23:6: error: unknown type name `EE'
test-models/wf_undefined/wf_undefined.dzn:26:13: error: no field `EN4' in enum `I1'; expected: `EN1', `EN2', `EN3'
test-models/wf_undefined/wf_undefined.dzn:22:3: info: enum defined here
test-models/wf_undefined/wf_undefined.dzn:27:5: error: unknown type name `ENN'
test-models/wf_undefined/wf_undefined.dzn:29:12: error: no field `EN5' in enum `I1'; expected: `EN1', `EN2', `EN3'
test-models/wf_undefined/wf_undefined.dzn:22:3: info: enum defined here
test-models/wf_undefined/wf_undefined.dzn:30:7: error: unknown type name `ENN'
test-models/wf_undefined/wf_undefined.dzn:32:13: error: no field `EN0' in enum `I1'; expected: `EN1', `EN2', `EN3'
test-models/wf_undefined/wf_undefined.dzn:22:3: info: enum defined here
test-models/wf_undefined/wf_undefined.dzn:55:3: error: undefined interface `I3'
test-models/wf_undefined/wf_undefined.dzn:57:3: error: undefined interface `I4'
test-models/wf_undefined/wf_undefined.dzn:82:15: error: undefined port `foo' for `C2'
test-models/wf_undefined/wf_undefined.dzn:78:1: info: `C2' defined here
test-models/wf_undefined/wf_undefined.dzn:91:3: error: undefined interface `I3'
test-models/wf_undefined/wf_undefined.dzn:93:3: error: undefined interface `I4'
test-models/wf_undefined/wf_undefined.dzn:96:5: error: undefined component `C3'
