Member predicate TaintTracking::Sanitizer::sanitizingSingleEdge

Holds if test shows value to be untainted with taint

predicate sanitizingSingleEdge(TaintKind taint, SingleSuccessorGuard test)