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