Predicate SsaComputeImpl::AdjacentUsesImpl::firstUse
Holds if the value defined at def
can reach use
without passing through
any other uses, but possibly through phi nodes.
Import path
import semmle.python.essa.SsaCompute
predicate firstUse(EssaDefinition def, ControlFlowNode use)