test-models/wf_coverageDuplicate/wf_coverageDuplicate.dzn:24:32: error: duplicate trigger `h.cruel' in on
test-models/wf_coverageDuplicate/wf_coverageDuplicate.dzn:24:8: info: previous `h.cruel' trigger here
