Predicate unreachable
Correct relation for reachability of ControlFlowNodes.
Import path
import cpp
predicate
unreachable
(
ControlFlowNode
n
)