Member predicate MustFlowConfiguration :: isAdditionalFlowStep
Holds if the additional flow step from node1 to node2 must be taken
into account in the analysis.
predicate
isAdditionalFlowStep
(
Operand
node1
,
Instruction
node2
)