Mainmodule used for linearization

Property definitions

nitc $ MModuleMetric :: mainmodule
	# Mainmodule used for linearization
	var mainmodule: MModule
src/metrics/mmodules_metrics.nit:90,2--91,24