(header ((p) irange_member provides) ((sut) range_member component))
test/all/range_member/range_member.dzn:33:5: error: range-error: invalid value `4' for variable `state'
<range-error>
test/all/range_member/range_member.dzn:33:5: error: range-error: invalid value `4' for variable `state'
(trail "<range-error>")
