Added support for processing parametric refinement laws in Maude