A Haskell Implementation of a Rule-Based Program Transformation for C Programs