Member predicate RegexString :: normalCharacter
Holds if a normal character or escape sequence is between start
and end
.
predicate
normalCharacter
(
int
start
,
int
end
)