Program matching and transformation engine
