(ignored inputs)COMMENT Example 5.12 from [MH94]
Rewrite Rules:
   [ f(?x,?x) -> g(i(b),?x),
     g(?x,?x) -> f(?x,i(a)),
     i(?x) -> j(?x),
     a -> b ]
Apply Direct Methods...
Inner CPs:
   [  ]
Outer CPs:
   [  ]
Overlay, check Innermost Termination...
unknown Innermost Terminating
unknown Knuth&Bendix
not Left-Linear, Right-Linear
unknown Simple-Right-Linear
Strongly Depth-Preserving & Non-E-Overlapping
Direct Methods: CR

Final result: CR
/local-scratch/hzankl/2012/cops2012/108.trs: Success(CR)
(21 msec.)