Member predicate EssaNodeDefinition :: reachesEndOfBlock
Holds if this definition reaches the end of b
.
predicate
reachesEndOfBlock
(
BasicBlock
b
)