Predicates.ComparablePredicateImplicationRule

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