Member predicate TaintTracking::Configuration::isSanitizerEdge

Holds if the edge from pred to succ is a taint sanitizer.