Predicate SsaComputeImpl::AdjacentUsesImpl::adjacentUseUseSameVar
Holds if use1 and use2 form an adjacent use-use-pair of the same SSA
variable, that is, the value read in use1 can reach use2 without passing
through any other use or any SSA definition of the variable.
Import path
import semmle.python.essa.SsaComputepredicate adjacentUseUseSameVar(ControlFlowNode use1, ControlFlowNode use2)