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)