The refiner now feeds any meta-variable inputs through the parser first, which ensures they are both valid and can be run through the Maude pretty printer for output.