j in [0,7]: simplified to i
j in [0,8]: simplified to ; uop v1 | %0 = param : dtype=i32 slot=0 min=0 max=15 | %1 = param : dtype=i32 slot=1 min=0 max=8 | %2 = const : dtype=i32 value=8 | %3 = floordiv %1, %2 | %4 = add %0, %3
with j = 8 the quotient is i + 1, so removing j would be wrong. the rule keeps j//8, whose range is [0, 1].
