==========================================
reduce in META-LEVEL : metaRewrite(mod 'FOO is
  nil
  sorts 'Foo .
  none
  op 'a : nil -> 'Foo [none] .
  op 'b : nil -> 'Foo [none] .
  none
  none
  rl 'a.Foo => 'b.Foo [none] .
  rl 'b.Foo => 'a.Foo [none] .
endm, 'a.Foo, 1) .
rewrites: 2
result ResultPair: {'b.Foo, 'Foo}
==========================================
reduce in META-LEVEL : metaRewrite(mod 'FOO is
  nil
  sorts 'Foo .
  none
  op 'a : nil -> 'Foo [none] .
  op 'b : nil -> 'Foo [none] .
  none
  none
  rl 'a.Foo => 'b.Foo [none] .
  rl 'b.Foo => 'a.Foo [none] .
endm, 'a.Foo, 2) .
rewrites: 3
result ResultPair: {'a.Foo, 'Foo}
==========================================
reduce in META-LEVEL : metaRewrite(mod 'FOO is
  nil
  sorts 'Foo .
  none
  op 'a : nil -> 'Foo [none] .
  op 'b : nil -> 'Foo [none] .
  none
  none
  rl 'a.Foo => 'b.Foo [none] .
  rl 'b.Foo => 'a.Foo [none] .
endm, 'a.Foo, 3) .
rewrites: 4
result ResultPair: {'b.Foo, 'Foo}
==========================================
reduce in META-LEVEL : metaRewrite(mod 'FOO is
  nil
  sorts 'Foo .
  none
  (op 'b : nil -> 'Foo [none] .
  op 'c : nil -> 'Foo [none] .)
  op 'a : nil -> 'Foo [none] .
  none
  none
  rl 'a.Foo => 'b.Foo [none] .
  rl 'b.Foo => 'c.Foo [none] .
endm, 'a.Foo, unbounded) .
rewrites: 3
result ResultPair: {'c.Foo, 'Foo}
==========================================
reduce in META-LEVEL : metaRewrite(mod 'FOO is
  nil
  sorts 'Foo .
  none
  (op 'b : nil -> 'Foo [none] .
  op 'c : nil -> 'Foo [none] .)
  op 'a : nil -> 'Foo [none] .
  none
  none
  rl 'a.Foo => 'b.Foo [none] .
  rl 'b.Foo => 'c.Foo [none] .
endm, 'a.Foo, 1000000000000000000000000000000000000000000000000000) .
rewrites: 3
result ResultPair: {'c.Foo, 'Foo}
==========================================
reduce in META-LEVEL : metaRewrite(mod 'FOO is
  nil
  sorts 'Foo .
  none
  (op 'b : nil -> 'Foo [none] .
  op 'c : nil -> 'Foo [none] .)
  op 'a : nil -> 'Foo [none] .
  none
  none
  rl 'a.Foo => 'b.Foo [none] .
  rl 'b.Foo => 'c.Foo [none] .
endm, 'a.Foo, JUNK:Nat) .
rewrites: 0
result [ResultPair?]: metaRewrite(mod 'FOO is
  nil
  sorts 'Foo .
  none
  op 'a : nil -> 'Foo [none] .
  op 'b : nil -> 'Foo [none] .
  op 'c : nil -> 'Foo [none] .
  none
  none
  rl 'a.Foo => 'b.Foo [none] .
  rl 'b.Foo => 'c.Foo [none] .
endm, 'a.Foo, JUNK:Nat)
==========================================
reduce in META-LEVEL : metaRewrite(mod 'FOO is
  nil
  sorts 'Foo .
  none
  (op 'b : nil -> 'Foo [none] .
  op 'c : nil -> 'Foo [none] .)
  op 'a : nil -> 'Foo [none] .
  none
  none
  rl 'a.Foo => 'b.Foo [none] .
  rl 'b.Foo => 'c.Foo [none] .
endm, 'a.Foo, 0) .
rewrites: 0
result [ResultPair?]: metaRewrite(mod 'FOO is
  nil
  sorts 'Foo .
  none
  op 'a : nil -> 'Foo [none] .
  op 'b : nil -> 'Foo [none] .
  op 'c : nil -> 'Foo [none] .
  none
  none
  rl 'a.Foo => 'b.Foo [none] .
  rl 'b.Foo => 'c.Foo [none] .
endm, 'a.Foo, 0)
Bye.
