Predicate successors_extended
Holds if there is a control-flow edge from source to target in either
the extractor-generated control-flow graph or in a subclass of
AdditionalControlFlowEdge. Use this relation instead of qlCFGSuccessor.
Import path
import cpp
predicate
successors_extended
(
ControlFlowNodeBase
source
,
ControlFlowNodeBase
target
)