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