===> Cleaning for maude-2.6