Member predicate BasicBlock :: isReachable
Holds if control flow may reach this basic block from a function entry
point or any handler of a reachable try statement.
predicate
isReachable
(
)