File	Line Coverage			Functions		Branches
lib.rs	100%	100%	16 / 16	50%	3 / 6	100%	0 / 0
mcrl2_derive_terms.rs	97.56%	97.56%	200 / 205	84.62%	11 / 13	100%	0 / 0