test-models/symres_port_name_equals_comp/symres_port_name_equals_comp.dzn:3:3: error: port `C' must not have the same name as the model it is defined in
