Member predicate RegexString::alternationOption
Holds if the text in the range start,end is an alternation and the text in part_start, part_end is one of the options in that alternation.
predicate alternationOption(int start, int end, int part_start, int part_end)