Module Cached :: ControlFlowGraphPublic
Provides predicates that should be exported as if they were top-level
ControlFlowGraph.qll. They have to be defined in this file
in order to be grouped in a
cached module with other predicates that
must go in the same cached stage.
Holds if the control-flow node