Member predicate ControlFlowElement :: reachableFrom
Holds if the current element is reachable from src
.
predicate
reachableFrom
(
ControlFlowElement
src
)