test-models/wf_bindingDoubleWildcard/wf_bindingDoubleWildcard.dzn:34:5: error: cannot bind two wildcards
