Predicate SsaComputeImpl::defUseRank
Holds if the rankixth definition or use of the SSA variable v in the basic block b occurs
at index i.
Basic block indices are translated to rank indices in order to skip irrelevant indices at which there is no definition or use when traversing basic blocks.
Import path
import semmle.python.essa.SsaComputepredicate defUseRank(SsaSourceVariable v, BasicBlock b, int rankix, int i)