test-models/symres_import_diamond_conflict/c.dzn:1:1: error: identifier `I' defined before
test-models/symres_import_diamond_conflict/b.dzn:1:1: info: previous `I' definition here
