issue#253: proposal

In order to address issue #253, please find a proposal of correction.
Since this is a bounded variable, we know the next variable is i+1.
Replace iv.nextValue(i) with i++