Using the TreeRewriter