Evaluating the performance of model transformation styles in Maude