Member predicate TaintTracking::Configuration::isSanitizerEdge

Holds if the edge from pred to succ is a taint sanitizer for data labelled with lbl.