Tree Transducer Composition as Program Transformation
