SuffixArray.Abs_Induce_S_Verification