Member predicate Make :: Definition :: definesAt
Holds if this SSA definition defines
v at index
i in basic block
Phi nodes are considered to be at index
-1, while normal variable writes
are at the index of the control flow node they wrap.
predicate definesAt ( SourceVariable v , BasicBlock bb , int i )