Member predicate TaintTracking::Sanitizer::sanitizingDefinition

Holds if def shows value to be untainted with taint

predicate sanitizingDefinition(TaintKind taint, EssaDefinition def)