Member predicate BasicBlock :: alwaysReaches
Holds if flow from this BasicBlock always reaches succ
predicate
alwaysReaches
(
BasicBlock
succ
)