Predicate DataFlowImplCommon::ImplCommon::read

Holds if data can flow from node1 to node2 via a direct read of f or via a getter.

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