Predicate SsaComputeImpl::variableDef
Import path
import semmle.python.essa.SsaCompute
predicate variableDef(SsaSourceVariable v, ControlFlowNode n, BasicBlock b, int i)
import semmle.python.essa.SsaCompute
predicate variableDef(SsaSourceVariable v, ControlFlowNode n, BasicBlock b, int i)