Predicate TypeTrackingSteps::compatibleContents
Import path
import semmle.code.java.dispatch.DispatchFlowpredicate compatibleContents(Content storeContents, Content loadContents)import semmle.code.java.dispatch.DispatchFlowpredicate compatibleContents(Content storeContents, Content loadContents)