BufferOverrun: Improved error message when array index is used before checking that its in limits