test-models/wf_replyOnType/wf_replyOnType.dzn:20:23: error: type mismatch: expected `bool', found: `<int>'
test-models/wf_replyOnType/wf_replyOnType.dzn:10:3: info: event defined here
