mod A-TRANSITION-SYSTEM is
  sort State .
  ops n1 n2 n3 n4 n5 : -> State .

  rl [a] : n1 => n2 .
  rl [b] : n1 => n3 .
  rl [c] : n3 => n4 .
  rl [d] : n4 => n2 .
  rl [e] : n2 => n5 .
  rl [f] : n2 => n1 .
endm

set trace on .

rew [10] n1 .

***(
rewrite [10] in A-TRANSITION-SYSTEM : n1 .
*********** rule
rl [a]: n1 => n2 .
empty substitution
n1
--->
n2
*********** rule
rl [e]: n2 => n5 .
empty substitution
n2
--->
n5
rewrites: 2 in -10ms cpu (0ms real) (~ rewrites/second)
result State: n5
)

rew [10] n3 .

***(
rewrite [10] in A-TRANSITION-SYSTEM : n3 .
*********** rule
rl [c]: n3 => n4 .
empty substitution
n3
--->
n4
*********** rule
rl [d]: n4 => n2 .
empty substitution
n4
--->
n2
*********** rule
rl [f]: n2 => n1 .
empty substitution
n2
--->
n1
*********** rule
rl [b]: n1 => n3 .
empty substitution
n1
--->
n3                                            *** back to n3
*********** rule
rl [c]: n3 => n4 .
empty substitution
n3
--->
n4                                            *** back to n4
*********** rule
rl [d]: n4 => n2 .
empty substitution
n4
--->
n2                                            *** back to n2
*********** rule
rl [e]: n2 => n5 .
empty substitution
n2
--->
n5                                            *** now it moves to n5
rewrites: 7 in -10ms cpu (0ms real) (~ rewrites/second)
result State: n5
)

set trace off .