Predicate TypeTrackingSteps::simpleLocalSmallStep
Import path
import semmle.code.java.dispatch.DispatchFlowpredicate simpleLocalSmallStep(Node n1, Node n2)import semmle.code.java.dispatch.DispatchFlowpredicate simpleLocalSmallStep(Node n1, Node n2)