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 semmle.python.essa.SsaDefinitionspredicate argument_refinement(Variable v, ControlFlowNode use, CallNode call)