File	Line Coverage			Functions
bitvector_encoding.rs	22.73%	22.73%	5 / 22	7.41%	4 / 54
smt_rules.rs	66.78%	66.78%	203 / 304	20.44%	46 / 225
unwrap_alldiff.rs	15.15%	15.15%	5 / 33	16.67%	6 / 36