test-models/symres_func_param_naming/symres_func_param_naming.dzn:5:20: error: identifier `x' defined before
test-models/symres_func_param_naming/symres_func_param_naming.dzn:5:12: info: previous `x' definition here
