test-models/symres_sys_circular_binding/symres_sys_circular_binding.dzn:9:13: error: port `p' is bound more than once
test-models/symres_sys_circular_binding/symres_sys_circular_binding.dzn:10:11: error: port `p' is bound more than once
