Member predicate Ssa::Definition::definesAt

Holds if this SSA definition is at index i 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.

predicate definesAt(BasicBlock bb, int i)