Member predicate SsaVariable :: isLiveAtEndOfBlock
Holds if this SSA variable is live at the end of b
.
predicate
isLiveAtEndOfBlock
(
BasicBlock
b
)