Predicate ssaDefReachesRead
NB: This predicate should be cached.
Holds if the SSA definition of v at def reaches a read at index i in
basic block bb.
Import path
import semmle.go.dataflow.SsaImplpredicate ssaDefReachesRead(SsaSourceVariable v, Definition def, BasicBlock bb, int i)