test-models/symres_sys_self_binding/symres_sys_self_binding.dzn:7:13: error: port `p' is bound more than once
test-models/symres_sys_self_binding/symres_sys_self_binding.dzn:8:11: error: port `p' is bound more than once
