Program transformation by templates based on term rewriting