test-models/wf_bindingCycle/wf_bindingCycle.dzn:30:5: error: instance `c' is in a cyclic binding
test-models/wf_bindingCycle/wf_bindingCycle.dzn:43:5: error: instance `c21' is in a cyclic binding
test-models/wf_bindingCycle/wf_bindingCycle.dzn:44:5: error: instance `c22' is in a cyclic binding
test-models/wf_bindingCycle/wf_bindingCycle.dzn:46:5: error: instance `c12' is in a cyclic binding
