Predicate MakeImplCommon::Cached::FlowThrough::Final::argumentValueFlowsThrough

Holds if arg flows to out through a call using only value-preserving steps and possibly a single read step, not taking call contexts into account.

If a read step was taken, then read captures the Content, the container type, and the content type.