File	Line Coverage			Functions
base.rs	94.19%	94.19%	81 / 86	35.29%	6 / 17
bubble.rs	100%	100%	111 / 111	22.73%	5 / 22
cnf.rs	100%	100%	0 / 0	0%	0 / 2
constant_eval.rs	69.58%	69.58%	199 / 286	38.24%	39 / 102
minion.rs	92.61%	92.61%	476 / 514	26.74%	23 / 86
partial_eval.rs	83.85%	83.85%	218 / 260	33.33%	2 / 6
subsitute_lettings.rs	88.89%	88.89%	24 / 27	20%	2 / 10
utils.rs	62.5%	62.5%	25 / 40	38.89%	7 / 18