BetaEqualityLemma

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	136 of 136	0%	0 of 0	n/a	7	7	37	37	7	7
Identity5()		0%		n/a	1	1	6	6	1	1
Identity6()		0%		n/a	1	1	6	6	1	1
Identity1()		0%		n/a	1	1	6	6	1	1
Identity2()		0%		n/a	1	1	6	6	1	1
Identity3()		0%		n/a	1	1	6	6	1	1
Identity4()		0%		n/a	1	1	6	6	1	1
BetaEqualityLemma()		0%		n/a	1	1	1	1	1	1