Member predicate BasicBlock::localLiveDefAt

Holds if d defines variable v at the ith node of this basic block, and the definition is live, that is, the variable may be read after this definition and before a re-definition.