Also after making the tree-rewriter API public, the implementation of the MathTreePruneAltere can profit from this refactoring. May a better name can be chosen for this class.