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
)