Yes, I remember why I couldn't do that in the first place.
Basically, I'm printing terms which have ambiguities in them. Krun and maude don't know how to handle those, and it crashes with "unexpected token amb <---" (something like this).

So in the end, to be able to properly handle those tests, I think I need the functionality I was asking at the Monday meeting.