test-models/symres_comp_dup_samens/symres_comp_dup_samens.dzn:4:3: error: identifier `n.C' defined before
test-models/symres_comp_dup_samens/symres_comp_dup_samens.dzn:3:3: info: previous `n.C' definition here
