Member predicate SsaSourceVariable :: hasRefinement
Holds if def
defines an ESSA variable for this variable in such a way
that the new variable is a refinement in some way of the variable used at use
.
predicate
hasRefinement
(
ControlFlowNode
use
,
ControlFlowNode
def
)