test-models/symres_shadow_enum_eq_comp/symres_shadow_enum_eq_comp.dzn:3:1: error: identifier `C' defined before
test-models/symres_shadow_enum_eq_comp/symres_shadow_enum_eq_comp.dzn:1:1: info: previous `C' definition here
