test/all/undefined/interface/function/function.dzn:27:22: error: undefined function call: "f"
