test-models/wf_NameClash/wf_NameClash.dzn:10:3: error: enum `I1' must not have the same name as the model it is defined in
test-models/wf_NameClash/wf_NameClash.dzn:11:3: error: duplicate enum field `E3' in enum `I2'
test-models/wf_NameClash/wf_NameClash.dzn:19:3: error: port `wf_NameClash' must not have the same name as the model it is defined in
test-models/wf_NameClash/wf_NameClash.dzn:28:5: error: enum `wf_NameClash2' must not have the same name as the model it is defined in
test-models/wf_NameClash/wf_NameClash.dzn:36:5: error: variable `wf_NameClash3' must not have the same name as the model it is defined in
test-models/wf_NameClash/wf_NameClash.dzn:40:7: error: identifier `b' defined before
test-models/wf_NameClash/wf_NameClash.dzn:39:7: info: previous `b' definition here
