Updated maude generation.  now it runs, albeit wrong :-)