Fix to alternate Maude translation
(requires LTL-REVISED in preamble)