Predicate SsaImpl::SsaDefReaches::ssaDefReachesCapture
Holds if the SSA definition of v at def reaches capture point of
closurevar without crossing another SSA definition of v.
Import path
import semmle.code.java.dataflow.internal.BaseSSApredicate ssaDefReachesCapture(BaseSsaSourceVariable v, TrackedSsaDef def, BaseSsaSourceVariable closurevar)