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 pythonpredicate argument_refinement(Variable v, ControlFlowNode use, CallNode call)Holds if a v is used as an argument to call, which may modify the object referred to by v
import pythonpredicate argument_refinement(Variable v, ControlFlowNode use, CallNode call)