test-models/wf_replyTypeMismatch/wf_replyTypeMismatch.dzn:26:17: error: type mismatch: no event with reply type `bool'
