test-models/wf_functionReturnNotExpected/wf_functionReturnNotExpected.dzn:12:15: error: cannot use return outside of function
