File	Line Coverage			Functions
mod.rs	66.67%	66.67%	6 / 9	33.33%	5 / 15
rewriter_stats.rs	100%	100%	9 / 9	60%	3 / 5
solver_stats.rs	100%	100%	6 / 6	40%	2 / 5