Predicate SsaComputeImpl::ssaDef
Holds if there is a definition of an SSA variable occurring at the specified position.
This is either a phi node, a VariableUpdate, or a parameter.
Import path
import semmle.python.essa.SsaComputepredicate ssaDef(SsaSourceVariable v, BasicBlock b)