I suggest making a flag on kast that tells it to output kore instead of maude. Then make use of the KoreFilter that Liyi made. That will increase exposure on that code path which is a good thing anyway.