Predicate SsaComputeImpl::AdjacentUsesImpl::variableSourceUse
Holds if there is a variable access use of v in b at index i.
Import path
import semmle.python.essa.SsaComputepredicate variableSourceUse(SsaSourceVariable v, ControlFlowNode use, BasicBlock b, int i)