Predicate SsaDefinitions::SsaSource::attribute_deletion_refinement

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

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