test-models/wf_definedBefore/wf_definedBefore.dzn:10:21: error: identifier `x' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:10:13: info: previous `x' definition here
test-models/wf_definedBefore/wf_definedBefore.dzn:11:3: error: identifier `e' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:10:3: info: previous `e' definition here
test-models/wf_definedBefore/wf_definedBefore.dzn:18:1: error: identifier `I' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:9:1: info: previous `I' definition here
test-models/wf_definedBefore/wf_definedBefore.dzn:20:3: error: identifier `E' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:19:3: info: previous `E' definition here
test-models/wf_definedBefore/wf_definedBefore.dzn:21:3: error: duplicate enum field `F1' in enum `F'
test-models/wf_definedBefore/wf_definedBefore.dzn:26:5: error: identifier `G' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:25:5: info: previous `G' definition here
test-models/wf_definedBefore/wf_definedBefore.dzn:27:19: error: identifier `f' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:27:14: info: previous `f' definition here
test-models/wf_definedBefore/wf_definedBefore.dzn:29:5: error: identifier `fn2' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:28:5: info: previous `fn2' definition here
test-models/wf_definedBefore/wf_definedBefore.dzn:36:3: error: identifier `p' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:35:3: info: previous `p' definition here
test-models/wf_definedBefore/wf_definedBefore.dzn:38:3: error: identifier `r' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:37:3: info: previous `r' definition here
test-models/wf_definedBefore/wf_definedBefore.dzn:40:3: error: identifier `s' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:39:3: info: previous `s' definition here
test-models/wf_definedBefore/wf_definedBefore.dzn:6:1: error: identifier `foo' defined before
test-models/wf_definedBefore/wf_definedBefore.dzn:5:1: info: previous `foo' definition here
