MAYBE
MAYBE
TRS:
 {f(f(f(f(j(), a), b), c), d) -> f(f(a, b), f(f(a, d), c))}
 DUP: We consider a duplicating system.
  Trs:
   {f(f(f(f(j(), a), b), c), d) -> f(f(a, b), f(f(a, d), c))}
  Fail