Member predicate TaintTracking::Sanitizer::sanitizingEdge

Holds if test shows value to be untainted with taint

predicate sanitizingEdge(TaintKind taint, PyEdgeRefinement test)