test-models/symres_shadow_param_eq_existing_port/symres_shadow_param_eq_existing_port.dzn:1:25: error: type mismatch: parameter `p'; expected extern, found: `bool'
