test-models/symres_sys_single_inst_no_binding/symres_sys_single_inst_no_binding.dzn:4:3: error: port `p' of type `I' not bound
test-models/symres_sys_single_inst_no_binding/symres_sys_single_inst_no_binding.dzn:5:12: error: port `p' of type `I' not bound
