Revisiting the TP Model Transformation: Interpolation and Rule Reduction