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