test-models/symres_event_param_type_other_ns/symres_event_param_type_other_ns.dzn:3:13: error: type mismatch: parameter `v'; expected extern, found: `t.E'
