File	Line Coverage			Functions
alldiff.rs	91.11%	91.11%	41 / 45	33.33%	4 / 12
int_theory.rs	100%	100%	20 / 20	66.67%	6 / 9
lex.rs	100%	100%	27 / 27	75%	3 / 4
rules.rs	50%	50%	116 / 232	30.3%	20 / 66