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