Predicate DataFlowImplCommon::ImplCommon::store

Holds if data can flow from node1 to node2 via a direct assignment to f or via a call that acts as a setter.

predicate store(Node node1, Content f, Node node2)