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
(
)