Predicate modelCoverage
Holds if MaD framework coverage of package is n api endpoints of the
kind (kind, part).
Import path
import semmle.code.java.dataflow.ExternalFlowHolds if MaD framework coverage of package is n api endpoints of the
kind (kind, part).
import semmle.code.java.dataflow.ExternalFlow