BufferOverflow: Updated message for out of bounds array index or redundant condition