Predicate modelCoverage
Holds if MaD framework coverage of namespace is n api endpoints of the
kind (kind, part), and namespaces is the number of subnamespaces of
namespace which have MaD framework coverage (including namespace
itself).
Import path
import semmle.code.csharp.dataflow.internal.ExternalFlow