File	Line Coverage			Functions
bitvector_encoding.rs	22.73%	22.73%	5 / 22	3.03%	2 / 66
smt_rules.rs	80.88%	80.88%	203 / 251	8.36%	23 / 275
unwrap_alldiff.rs	15.15%	15.15%	5 / 33	6.82%	3 / 44