File	Line Coverage			Functions		Branches
builder.rs	34.67%	34.67%	52 / 150	54.55%	12 / 22	100%	4 / 4
consume.rs	46.15%	46.15%	6 / 13	28.57%	4 / 14	100%	0 / 0
counterexample_formula.rs	100%	100%	85 / 85	33.33%	8 / 24	100%	2 / 2
parse.rs	33.66%	33.66%	34 / 101	26.92%	7 / 26	100%	0 / 0
precedence.rs	75.4%	75.4%	377 / 500	53.33%	48 / 90	100%	0 / 0
syntax_tree.rs	57.29%	57.29%	55 / 96	30.56%	11 / 36	33.33%	4 / 12
syntax_tree_display.rs	91.57%	91.57%	380 / 415	47.78%	43 / 90	96.88%	62 / 64
visitor.rs	50%	50%	53 / 106	55.56%	20 / 36	100%	6 / 6