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