Member predicate TaintTracking::TaintTracking::IndexOfSanitizer::appliesTo

Holds if this guard applies to the flow in cfg.

predicate appliesTo(Configuration cfg)