File	Line Coverage			Functions
mod.rs	66.67%	66.67%	6 / 9	6.06%	4 / 66
rewriter_stats.rs	100%	100%	8 / 8	9.09%	2 / 22
solver_stats.rs	100%	100%	6 / 6	9.09%	2 / 22