test-models/symres_system_inst_same_as_port/symres_system_inst_same_as_port.dzn:6:5: error: identifier `p' defined before
test-models/symres_system_inst_same_as_port/symres_system_inst_same_as_port.dzn:4:3: info: previous `p' definition here
