test-models/wf_functionReturnValue/wf_functionReturnValue.dzn:28:7: error: cannot determine type of expression of reply
test-models/wf_functionReturnValue/wf_functionReturnValue.dzn:32:5: error: missing return
test-models/wf_functionReturnValue/wf_functionReturnValue.dzn:38:9: error: missing return
test-models/wf_functionReturnValue/wf_functionReturnValue.dzn:50:12: error: missing return
test-models/wf_functionReturnValue/wf_functionReturnValue.dzn:65:9: error: missing return
test-models/wf_functionReturnValue/wf_functionReturnValue.dzn:72:7: error: code will never be executed
test-models/wf_functionReturnValue/wf_functionReturnValue.dzn:81:13: error: missing return
test-models/wf_functionReturnValue/wf_functionReturnValue.dzn:88:9: error: missing return
test-models/wf_functionReturnValue/wf_functionReturnValue.dzn:94:7: error: missing return
test-models/wf_functionReturnValue/wf_functionReturnValue.dzn:105:7: error: missing return
