File	Line Coverage			Functions
expand_native.rs	80.95%	80.95%	85 / 105	13.1%	11 / 84
expand_via_solver.rs	95.35%	95.35%	41 / 43	16.67%	3 / 18
expand_via_solver_ac.rs	70.26%	70.26%	137 / 195	12.22%	11 / 90
via_solver_common.rs	90.48%	90.48%	152 / 168	16.67%	19 / 114