Predicate SsaDefinitions::SsaSource::argument_refinement

Holds if a v is used as an argument to call, which may modify the object referred to by v

predicate argument_refinement(Variable v, ControlFlowNode use, CallNode call)