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
)