For other CodeQL resources, including tutorials and examples, see the CodeQL documentation
Holds if this SSA definition defines v at index i in basic block bb.
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)