module	Top Level Definitions			Alternatives			Expressions
	%	covered / total		%	covered / total		%	covered / total
module Tarefa4_2017li1g180	100%	19/19		48%	12/25		82%	460/556
module Main	100%	1/1		60%	3/5		85%	23/27
module LI11718	50%	48/96		80%	4/5		95%	132/138
module Tarefa1_2017li1g180	25%	7/27		55%	15/27		21%	127/597
module Tarefa3_2017li1g180	15%	6/39		3%	3/83		3%	79/1985
module Tarefa2_2017li1g180	0%	0/27		0%	0/34		0%	0/749
Program Coverage Total	38%	81/209		20%	37/179		20%	821/4052