fix maude specific hack in mint.k to be more general