nitc :: DetectCovariancePhase :: cpt_modules
fun cpt_modules: Counter[String] do return once new Counter[String]