Member predicate RegexString :: emptyGroup
Holds if an empty group is found between start and end.
predicate
emptyGroup
(
int
start
,
int
end
)