Predicate TypeTrackingSteps::loadStoreStep
Import path
import semmle.code.java.dispatch.DispatchFlowpredicate loadStoreStep(Node nodeFrom, Node nodeTo, Content f1, Content f2)import semmle.code.java.dispatch.DispatchFlowpredicate loadStoreStep(Node nodeFrom, Node nodeTo, Content f1, Content f2)