File	Line Coverage			Functions
expand_native.rs	0%	0%	0 / 132	0%	0 / 39
expand_via_solver.rs	88.3%	88.3%	83 / 94	33.33%	7 / 21
expand_via_solver_ac.rs	91.86%	91.86%	203 / 221	33.33%	16 / 48