Predicate SsaSource :: argument_refinement
Holds if a v is used as an argument to call, which may modify the object referred to by v
Import path
import python
predicate
argument_refinement
(
Variable
v
,
ControlFlowNode
use
,
CallNode
call
)