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
)