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