Predicate SsaComputeImpl::defRank
Holds if there is a definition of a variable occurring at the specified rank index in basic block b.
Import path
import semmle.python.essa.SsaComputepredicate defRank(SsaSourceVariable v, BasicBlock b, int rankix, int i)