Member predicate AdditionalSource::isSourceFor
Holds if this data flow node should be considered a source node for
values labeled with lbl under configuration cfg.
predicate isSourceFor(Configuration cfg, FlowLabel lbl)Holds if this data flow node should be considered a source node for
values labeled with lbl under configuration cfg.
predicate isSourceFor(Configuration cfg, FlowLabel lbl)