Predicate DataFlowImplCommon::ImplCommon::argumentValueFlowsThrough

Holds if arg flows through call using only value-preserving steps.

predicate argumentValueFlowsThrough(ArgumentNode arg, ExprNode call)