File	Line Coverage			Functions		Branches
antichain.rs	96.47%	96.47%	82 / 85	93.75%	15 / 16	100%	12 / 12
failures_refinement.rs	81.67%	81.67%	49 / 60	60%	3 / 5	83.33%	10 / 12
preorder.rs	0%	0%	0 / 9	0%	0 / 1	100%	0 / 0