test-models/symres_dup_global_func/symres_dup_global_func.dzn:2:1: error: identifier `f' defined before
test-models/symres_dup_global_func/symres_dup_global_func.dzn:1:1: info: previous `f' definition here
