YES
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
not Left-Linear, Right-Linear
unknown Ohta&Oyamaguchi&Toyama
Gomi&Oyamaguchi&Ohta
Direct Methods: CR

Final result: CR
108.trs: YES (24 msec.)