Member predicate DataFlow::DataFlow::Configuration::isAdditionalFlowStep

Holds if the additional flow step from pred to succ must be taken into account in the analysis.

predicate isAdditionalFlowStep(Node pred, Node succ)