test-models/wf_undefined_function/wf_undefined_function.dzn:17:15: error: undefined function call: "world"
test-models/wf_undefined_function/wf_undefined_function.dzn:27:31: error: undefined function call: "foo"
