Predicate DataFlowImplCommon::ImplCommon::parameterValueFlowsThrough

Holds if p can flow to a ReturnNode in the same callable using only value-preserving steps.

predicate parameterValueFlowsThrough(ParameterNode p)