Property definitions

nitc $ DetectCovariancePhase :: cpt_pattern
	fun cpt_pattern: Counter[String] do return once new Counter[String]
src/metrics/detect_covariance.nit:54,2--68