test-models/symres_on_multi_trig_param/symres_on_multi_trig_param.dzn:2:13: error: type mismatch: parameter `x'; expected extern, found: `bool'
test-models/symres_on_multi_trig_param/symres_on_multi_trig_param.dzn:3:13: error: type mismatch: parameter `x'; expected extern, found: `bool'
