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