Predicate SsaSource::deletion_definition
Holds if v is deleted at del.
Import path
import semmle.python.essa.SsaDefinitionspredicate deletion_definition(Variable v, DeletionNode del)Holds if v is deleted at del.
import semmle.python.essa.SsaDefinitionspredicate deletion_definition(Variable v, DeletionNode del)