test chunk iname with integral loop bouunds

This fails on main because unlike the other variant of this test the expression
is piecewise quasi-affine, but not quasi-affine thereby not being caught in
loopy.symbolic.with_aff_conversion_guard and subsequently failing.