module	Top Level Definitions			Alternatives			Expressions
	%	covered / total		%	covered / total		%	covered / total
module Main	100%	6/6		60%	6/10		90%	107/118
Program Coverage Total	100%	6/6		60%	6/10		90%	107/118