Predicate SsaDefinitions::SsaSource::deletion_definition

Holds if v is deleted at del.

predicate deletion_definition(Variable v, DeletionNode del)