File	Line Coverage			Functions
expand_native.rs	68.38%	68.38%	80 / 117	7.35%	10 / 136
expand_via_solver.rs	95.35%	95.35%	41 / 43	9.09%	3 / 33
expand_via_solver_ac.rs	70.26%	70.26%	137 / 195	12.73%	21 / 165
via_solver_common.rs	90.48%	90.48%	152 / 168	17.22%	36 / 209