Predicate IncompleteSanitization::allBackslashesEscaped

Holds if data flowing into nd has no un-escaped backslashes.

predicate allBackslashesEscaped(Node nd)