test-models/wf_coverageUnexpected/wf_coverageUnexpected.dzn:21:7: error: nested on used
test-models/wf_coverageUnexpected/wf_coverageUnexpected.dzn:20:5: info: within on here
