test-models/symres_reply_void_event_w_value/symres_reply_void_event_w_value.dzn:4:24: error: type mismatch: expected `void', found: `bool'
test-models/symres_reply_void_event_w_value/symres_reply_void_event_w_value.dzn:1:15: info: event defined here
