-
David Hauzar authored
Prevent loosing labels of formulas with f.t_node equal to Tquant in transformations eliminate_algebraic and introduce_premises.
86cdaeee
Prevent loosing labels of formulas with f.t_node equal to Tquant in transformations eliminate_algebraic and introduce_premises.