Builds an expansion tree from a formula and a map from variables to terms.
The paremeter pos is true if the formula is to be considered positive
(right side of the sequent).
Annotations
@deprecated
Deprecated
(Since version 2016-01-13) Substitute and merge expansion trees instead
Builds an expansion tree from a formula and a map from variables to terms. The paremeter pos is true if the formula is to be considered positive (right side of the sequent).
(Since version 2016-01-13) Substitute and merge expansion trees instead