Predicate TypeTrackingSteps::loadStep
Import path
import semmle.code.java.dispatch.DispatchFlowpredicate loadStep(Node n1, LocalSourceNode n2, Content f)import semmle.code.java.dispatch.DispatchFlowpredicate loadStep(Node n1, LocalSourceNode n2, Content f)