Member predicate RegexString :: controlEscape
Holds if there is a control sequence, \cx, between start and end.
x may be any ascii character including special characters.
predicate
controlEscape
(
int
start
,
int
end
)