Simplify the treated formula. This removes trivial equations (same left
and right term) and employs equations of the shape x = t
(where x is a minimized variable) to substitute the variable
with the term t. This method is supposed to be called in the
end of constructors of subclasses