SuffixArray.Induce_S_Verification