Member predicate TaintTracking::TaintTracking::UndefinedCheckSanitizer::appliesTo

Holds if this guard applies to the flow in cfg.

predicate appliesTo(Configuration cfg)