test-models/symres_shadow_iface_member_eq_iface/symres_shadow_iface_member_eq_iface.dzn:2:3: error: enum `I' must not have the same name as the model it is defined in
