Refactorized CheckBufferOverrun::arrayIndexThenCheck() and fixed false negative