Member predicate TemplateObjInjectionConfig::isAdditionalFlowStep
Holds if src -> trg
is a flow edge converting flow with label inlbl
to
flow with label outlbl
.
predicate isAdditionalFlowStep(Node src, Node trg, FlowLabel inlbl, FlowLabel outlbl)