Adapt ppTheory for maude output