File	Line Coverage			Functions		Branches
feature_transition_system.rs	83.49%	83.49%	91 / 109	70.37%	19 / 27	100%	8 / 8
modal_equation_system.rs	90.43%	90.43%	85 / 94	87.5%	14 / 16	100%	6 / 6
project.rs	100%	100%	25 / 25	100%	4 / 4	100%	2 / 2
reachability.rs	100%	100%	38 / 38	100%	4 / 4	100%	6 / 6
translate.rs	78.3%	78.3%	166 / 212	93.33%	14 / 15	36.36%	8 / 22
variability_zielonka.rs	85.67%	85.67%	293 / 342	83.78%	31 / 37	90%	54 / 60
zielonka.rs	94.01%	94.01%	157 / 167	94.12%	16 / 17	100%	36 / 36