Predicate DataFlowImplCommon::ImplCommon::parameterValueFlowsToUpdate

Holds if p can flow to the pre-update node of n in the same callable using only value-preserving steps.

predicate parameterValueFlowsToUpdate(ParameterNode p, PostUpdateNode n)