Play with accumulation buffer, which is super slow on maude.