SuffixArray.Abs_Induce_Verification