File	Line Coverage			Functions
cli.rs	100%	100%	12 / 12	50%	4 / 8
find_conjure.rs	71.43%	71.43%	25 / 35	33.33%	2 / 6
main.rs	85.54%	85.54%	142 / 166	50%	17 / 34
pretty.rs	76.47%	76.47%	13 / 17	25%	1 / 4
print_info_schema.rs	0%	0%	0 / 5	0%	0 / 2
rule_trace_aggregates.rs	89.29%	89.29%	75 / 84	40.63%	13 / 32
solve.rs	85.78%	85.78%	181 / 211	35.29%	12 / 34
test_solve.rs	80.43%	80.43%	37 / 46	50%	2 / 4