Member predicate RangeSsaDefinition :: reachesEndOfBB
Holds if this definition of the variable v
reached the end of the basic block b
.
predicate
reachesEndOfBB
(
StackVariable
v
,
BasicBlock
b
)