File	Line Coverage			Functions
mod.rs	0%	0%	0 / 9	0%	0 / 15
rewriter_stats.rs	0%	0%	0 / 8	0%	0 / 5
solver_stats.rs	0%	0%	0 / 6	0%	0 / 5