File	Line Coverage			Functions
expand_native.rs	90.6%	90.6%	106 / 117	19.81%	21 / 106
expand_via_solver.rs	95.35%	95.35%	41 / 43	25%	6 / 24
expand_via_solver_ac.rs	70.26%	70.26%	137 / 195	35%	42 / 120
via_solver_common.rs	91.12%	91.12%	154 / 169	47.37%	72 / 152