test-models/symres_var_dup_local_same_scope/symres_var_dup_local_same_scope.dzn:5:32: error: identifier `x' defined before
test-models/symres_var_dup_local_same_scope/symres_var_dup_local_same_scope.dzn:5:17: info: previous `x' definition here
