Use a single matcher in ControlSequencesIndexer for efficiency
FIX BUG in SectionIndexer: missing position adjustment
FIX BUG in SortedSplitIntegerArray: null values array ==> must consider cases when values is not yet allocated