Predicate DataFlowImplCommon::ImplCommon::parameterValueFlowsThrough

Holds if p can flow to a return node of kind kind in the same callable using only value-preserving steps, in call context cc.

predicate parameterValueFlowsThrough(ParameterNode p, ReturnKind kind, CallContextCall cc)