Added some corrections to Maude output and support for guarded actions to the visitor.