test-models/wf_subintMinMax/wf_subintMinMax.dzn:12:3: error: subint `iintf' has empty range
test-models/wf_subintMinMax/wf_subintMinMax.dzn:22:5: error: subint `icomp' has empty range
test-models/wf_subintMinMax/wf_subintMinMax.dzn:9:1: error: subint `iglob' has empty range
