Predicates.ComparablePredicateImplicationRule

Element	Missed Instructions	Cov.	Missed Branches	Cov.	Missed	Cxty	Missed	Lines	Missed	Methods
Total	6 of 18	66%	3 of 6	50%	2	4	0	3	0	1
proves(Expression, Expression)		66%		50%	2	4	0	3	0	1