File	Line Coverage			Functions
base.rs	94.68%	94.68%	89 / 94	25%	6 / 24
bubble.rs	100%	100%	114 / 114	15.15%	5 / 33
cnf.rs	100%	100%	0 / 0	0%	0 / 3
constant_eval.rs	66.14%	66.14%	211 / 319	25.32%	40 / 158
minion.rs	95.72%	95.72%	492 / 514	17.83%	23 / 129
partial_eval.rs	81.31%	81.31%	235 / 289	22.22%	2 / 9
subsitute_lettings.rs	88.89%	88.89%	24 / 27	13.33%	2 / 15
utils.rs	62.5%	62.5%	25 / 40	25.93%	7 / 27