Holds if the ith node of bb reads v.
Import path
import semmle.go.dataflow.SsaImplpredicate useAt(BasicBlock bb, int i, SsaSourceVariable v)Holds if the ith node of bb reads v.
import semmle.go.dataflow.SsaImplpredicate useAt(BasicBlock bb, int i, SsaSourceVariable v)