File	Line Coverage			Functions
domain_tightening.rs	95.24%	95.24%	80 / 84	66.67%	6 / 9
essence_macro_tests.rs	100%	100%	27 / 27	100%	2 / 2
model_tests.rs	100%	100%	12 / 12	100%	1 / 1
rewrite_tests.rs	97.29%	97.29%	790 / 812	100%	36 / 36