Predicate SsaComputeImpl::LivenessImpl::liveAtEntry
Import path
import semmle.python.essa.SsaCompute
predicate liveAtEntry(SsaSourceVariable v, BasicBlock b)
import semmle.python.essa.SsaCompute
predicate liveAtEntry(SsaSourceVariable v, BasicBlock b)