revert maude code

maude/alt-smt.maude

@@ -202,7 +202,7 @@ endfm
 fmod SMT-EXP-TRANS is
   protecting REAL-INTEGER-EXPR .
   protecting ALT-REAL-INTEGER-EXPR .
-  protecting META-SMT-CONSTANT-TRANS * (op __ : NatList NatList -> NatList to _#_) . 
+  protecting META-SMT-CONSTANT-TRANS * (op __ to _#_) . --- to avoid a parsing error
 
   op trBool : BoolExpr ~> BooleanExpr .
   op trInt  : IntExpr ~> IntegerExpr .

maude/analysis.maude

@@ -32,7 +32,7 @@ fmod EXT-META-LEVEL is
   op module : Nat Qid -> Module .
   eq module(N, Q) = 
     (mod 'NET-ANALYSIS is
-         including Q . extending (if N == 0 then 'NPTAD-INTERPRETER else 'NPTAD-INTERPRETER-FME fi) .
+         including Q .  # extending (if N == 0 then 'NPTAD-INTERPRETER else 'NPTAD-INTERPRETER-FME fi) .
          sorts none .
          none none none none none endm) .