File	Line Coverage			Functions
bitvector_encoding.rs	22.73%	22.73%	5 / 22	16.67%	3 / 18
smt_rules.rs	79.55%	79.55%	210 / 264	43.59%	34 / 78
unwrap_alldiff.rs	15.15%	15.15%	5 / 33	25%	3 / 12