Holds if the SSA definition
def defines source variable
v at index
in basic block
bb. Phi nodes and entry nodes (captured variables and
fields/properties) are considered to be at index
-1, while normal variable
updates are at the index of the control flow node they wrap.