Tree Transducer Composition as Program Transformation