Predicate SsaComputeImpl::EssaDefinitionsImpl::variableUpdate
Import path
import semmle.python.essa.SsaComputepredicate variableUpdate(SsaSourceVariable v, ControlFlowNode n, BasicBlock b, int rankix, int i)import semmle.python.essa.SsaComputepredicate variableUpdate(SsaSourceVariable v, ControlFlowNode n, BasicBlock b, int rankix, int i)