test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:15:9: error: cannot use statement after recursive call
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:16:9: info: statement after call
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:28:16: error: cannot use typed function in recursion
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:32:16: error: cannot use typed function in recursion
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:47:7: error: cannot use statement after recursive call
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:48:7: info: statement after call
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:62:7: error: cannot use statement after recursive call
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:63:7: info: statement after call
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:95:14: error: cannot use typed function in recursion
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:99:14: error: cannot use typed function in recursion
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:113:14: error: cannot use typed function in recursion
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:117:14: error: cannot use typed function in recursion
test-models/wf_functionTailRecursion/wf_functionTailRecursion.dzn:181:7: error: code will never be executed
