File	Line Coverage			Functions		Branches
builder.rs	47.5%	47.5%	76 / 160	56.67%	17 / 30	100%	6 / 6
consume.rs	14.63%	14.63%	6 / 41	18.18%	4 / 22	100%	0 / 0
counterexample_formula.rs	100%	100%	85 / 85	33.33%	8 / 24	100%	2 / 2
parse.rs	40.59%	40.59%	41 / 101	30.77%	8 / 26	100%	0 / 0
precedence.rs	89.62%	89.62%	449 / 501	60.23%	53 / 88	100%	0 / 0
random_data_expression.rs	100%	100%	73 / 73	33.33%	8 / 24	100%	0 / 0
random_lps.rs	97.97%	97.97%	337 / 344	34.29%	24 / 70	100%	34 / 34
random_pbes.rs	98.39%	98.39%	183 / 186	38.1%	16 / 42	100%	26 / 26
syntax_tree.rs	82.29%	82.29%	79 / 96	44.44%	16 / 36	33.33%	4 / 12
syntax_tree_display.rs	93.44%	93.44%	399 / 427	50%	44 / 88	100%	66 / 66
visitor.rs	50%	50%	84 / 168	56.52%	26 / 46	34.48%	20 / 58