Predicate modelCoverage

Holds if MaD framework coverage of package is n api endpoints of the kind (kind, part), and pkgs is the number of subpackages of package which have MaD framework coverage (including package itself).