File	Line Coverage			Functions
expand_native.rs	83.67%	83.67%	82 / 98	55.56%	20 / 36
expand_via_solver.rs	95.35%	95.35%	41 / 43	33.33%	3 / 9
expand_via_solver_ac.rs	70.26%	70.26%	137 / 195	46.67%	21 / 45
via_solver_common.rs	90.7%	90.7%	195 / 215	61.54%	48 / 78