Predicate DataFlowImplCommon::ImplCommon::argumentValueFlowsThrough

Holds if arg flows to out through a call using only value-preserving steps, in call context cc.

predicate argumentValueFlowsThrough(ArgumentNode arg, OutNode out, CallContext cc)