test-models/symres_binding_undef_port/symres_binding_undef_port.dzn:7:11: error: undefined port `nope' for `Inner'
test-models/symres_binding_undef_port/symres_binding_undef_port.dzn:2:1: info: `Inner' defined here
