Member predicate DataFlow::DataFlow::Configuration::isAdditionalFlowStepIntoCall

INTERNAL: Do not use.

Holds if the additional flow step from argument arg to parameter p via call call must be taken into account in the analysis, but only in call context cc.

predicate isAdditionalFlowStepIntoCall(Node call, Node arg, Parameter p, CallContext cc)