KJ-22 Symbolic execution - tools support. Untested yet. On Windows don't work presumably because windows maude is on 32 bits.