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