SuffixArray.Induce_Verification