Making use of the tree rewriter