fmod NAIVE-ASSOC-IDEMP is
   protecting QID .
   sort List .
   subsort Qid < List .
   op __ : List List -> List [assoc] .  *** list concatenation
   var L : List .
   eq L L = L .
endfm

red 'a 'b 'c == 'a 'b 'c 'b 'a 'b 'c .
***(
reduce in NAIVE-ASSOC-IDEMP : 'a 'b 'c == 'a
    'b 'c 'b 'a 'b 'c .
rewrites: 1 in -10ms cpu (0ms real) (~ rewrites/second)
result Bool: false
)