Member predicate RegexString :: alternation
Holds if the text in the range start,end is an alternation
predicate
alternation
(
int
start
,
int
end
)