File	Line Coverage			Functions		Branches
incoming_transitions.rs	100%	100%	40 / 40	100%	9 / 9	100%	0 / 0
labelled_transition_system.rs	89.91%	89.91%	98 / 109	89.09%	49 / 55	100%	0 / 0
random_lts.rs	100%	100%	25 / 25	60%	3 / 5	100%	0 / 0