Predicate MakeImplCommon::Cached::storeEx

Holds if data can flow from node1 to node2 via a direct assignment to c.

This includes reverse steps through reads when the result of the read has been stored into, in order to handle cases like x.f1.f2 = y.