$lo_1 would never be the last index in the array, so no.

The highest order change is either moving element index 8 to 9 or moving 9 to 8. In either case $lo_1 will be 8, and $lo_1 + 1 will be 9, and in range.

I think the above is the best solution here.