Member predicate TaintTracking::InSanitizer::sanitizes

Holds if this node sanitizes expression e, provided it evaluates to outcome.

predicate sanitizes(boolean outcome, Expr e)