test-models/symres_binding_wildcard_star/symres_binding_wildcard_star.dzn:8:5: error: cannot bind two wildcards
test-models/symres_binding_wildcard_star/symres_binding_wildcard_star.dzn:4:3: error: port `p' of type `I' not bound
test-models/symres_binding_wildcard_star/symres_binding_wildcard_star.dzn:5:3: error: port `r' of type `I' not bound
test-models/symres_binding_wildcard_star/symres_binding_wildcard_star.dzn:7:5: error: port `p' of type `I' not bound
test-models/symres_binding_wildcard_star/symres_binding_wildcard_star.dzn:7:5: error: port `r' of type `I' not bound
