Predicate SsaSource::attribute_deletion_refinement

Holds if an attribute is deleted at def and use is the use of v for that deletion

Import path

import python

predicate attribute_deletion_refinement(Variable v, NameNode use, DeletionNode def)