Predicate DataFlowImplCommon::ImplCommon::localStoreReadStep

predicate localStoreReadStep(Node node1, Node node2)