File	Line Coverage			Functions
expand_native.rs	93.66%	93.66%	266 / 284	86.54%	45 / 52
expand_via_solver.rs	96.43%	96.43%	54 / 56	33.33%	7 / 21
expand_via_solver_ac.rs	79.63%	79.63%	172 / 216	59.65%	34 / 57
mod.rs	76.39%	76.39%	534 / 699	57.05%	89 / 156
via_solver_common.rs	78.96%	78.96%	259 / 328	59.26%	64 / 108