formula_tree.hh 2.42 KB