Predicate ssaDefReachesEndOfBlock
NB: This predicate should be cached.
Holds if the SSA definition of v at def reaches the end of basic block bb.
Import path
import semmle.go.dataflow.SsaImplpredicate ssaDefReachesEndOfBlock(BasicBlock bb, Definition def, SsaSourceVariable v)