File	Line Coverage			Functions
ast.rs	17.77%	17.77%	35 / 197	2.5%	6 / 240
rule.rs	0%	0%	0 / 13	0%	0 / 8
solvers.rs	0%	0%	0 / 1	0%	0 / 24