Predicate SsaComputeImpl::AdjacentUsesImpl::defSourceUseRank
Holds if rankix is the rank the index i at which there is an SSA definition or explicit use of
v in the basic block b.
Import path
import semmle.python.essa.SsaComputepredicate defSourceUseRank(SsaSourceVariable v, BasicBlock b, int rankix, int i)