Design of Syntactic Program Transformations by Abstract Interpretation of Semantic Transformations