Member predicate TaintTracking::Sanitizer::sanitizingCall

Holds if call removes removes the taint

predicate sanitizingCall(TaintKind taint, FunctionObject callee)