File	Line Coverage			Functions		Branches
refinement_test.rs	99.22%	99.22%	127 / 128	87.5%	21 / 24	100%	4 / 4