For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
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.
predicate localLiveDefAt(PurelyLocalVariable v, int i, VarDef d)