test-models/symres_func_shadows_outer/symres_func_shadows_outer.dzn:6:5: error: identifier `f' defined before
test-models/symres_func_shadows_outer/symres_func_shadows_outer.dzn:5:5: info: previous `f' definition here
