Holds if v is defined, for the purpose of SSA, at node, which is at
position index in block b. This includes definitions from phi nodes.
predicate
ssa_defn
(
StackVariable
v
,
ControlFlowNode
node
,
BasicBlock
b
,
int
index
)