Predicate experimentalSummaryModel
INTERNAL: Do not use.
DEPRECATED: This predicate is only intended for adding models used by experimental queries. This predicate will be deleted in the future.
Holds if an experimental summary model exists for the given parameters. This is only for experimental queries.
Import path
import semmle.code.java.dataflow.internal.ExternalFlowExtensions