test-models/wf_blockingReply/wf_blockingReply.dzn:30:30: error: type mismatch: no event with reply type `void' for port `start'
test-models/wf_blockingReply/wf_blockingReply.dzn:26:3: info: port defined here
