test-models/symres_sys_port_bound_twice/symres_sys_port_bound_twice.dzn:6:22: error: port `p' is bound more than once
test-models/symres_sys_port_bound_twice/symres_sys_port_bound_twice.dzn:6:33: error: port `p' is bound more than once
