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
)