Abstract Interpretation Of Program Transformations Using Regular Tree Grammars