SuffixArray.Abs_Induce_L_Verification