Phase that intercepts static type tests then display statistics about covariance

Property definitions

nitc :: detect_covariance $ ToolContext :: detect_covariance_phase
	# Phase that intercepts static type tests then display statistics about covariance
	private var detect_covariance_phase = new DetectCovariancePhase(self, null)
src/metrics/detect_covariance.nit:31,2--32,76