test-models/symres_on_undefined_event/symres_on_undefined_event.dzn:2:43: error: event `nope' not defined for port `p'
test-models/symres_on_undefined_event/symres_on_undefined_event.dzn:2:15: info: port `p' defined here
