Predicate SSA::Ssa::SsaImpl::definesAt

Holds if the SSA definition def defines source variable v 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(Definition def, BasicBlock bb, int i, SourceVariable v)