We assume that Maude 2.0 has been installed.
                                                                                
Instructions to execute the examples:
                                                                                
   1. start the Maude system
   2. type "in l3a-test-1b.concrete.maude" to load the formal specification
                                                                               
   3. type 
               rew initial 
      to execute. To run a test of all possible exections type

               search initial =>! state:State 
        
      this will produce the output in the analysis files.