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