MAYBE
TRS:
 {f(x, a(b(y))) -> f(c(d(x)), y),
     f(c(x), y) -> f(x, a(y)),
     f(d(x), y) -> f(x, b(y))}
 DP:
  Strict:
   {f#(x, a(b(y))) -> f#(c(d(x)), y),
       f#(c(x), y) -> f#(x, a(y)),
       f#(d(x), y) -> f#(x, b(y))}
  Weak:
  {f(x, a(b(y))) -> f(c(d(x)), y),
      f(c(x), y) -> f(x, a(y)),
      f(d(x), y) -> f(x, b(y))}
  EDG:
   {(f#(c(x), y) -> f#(x, a(y)), f#(d(x), y) -> f#(x, b(y)))
    (f#(c(x), y) -> f#(x, a(y)), f#(c(x), y) -> f#(x, a(y)))
    (f#(c(x), y) -> f#(x, a(y)), f#(x, a(b(y))) -> f#(c(d(x)), y))
    (f#(d(x), y) -> f#(x, b(y)), f#(c(x), y) -> f#(x, a(y)))
    (f#(d(x), y) -> f#(x, b(y)), f#(d(x), y) -> f#(x, b(y)))
    (f#(x, a(b(y))) -> f#(c(d(x)), y), f#(x, a(b(y))) -> f#(c(d(x)), y))
    (f#(x, a(b(y))) -> f#(c(d(x)), y), f#(c(x), y) -> f#(x, a(y)))}
   SCCS:
    Scc:
     {f#(x, a(b(y))) -> f#(c(d(x)), y),
         f#(c(x), y) -> f#(x, a(y)),
         f#(d(x), y) -> f#(x, b(y))}
    SCC:
     Strict:
      {f#(x, a(b(y))) -> f#(c(d(x)), y),
          f#(c(x), y) -> f#(x, a(y)),
          f#(d(x), y) -> f#(x, b(y))}
     Weak:
     {f(x, a(b(y))) -> f(c(d(x)), y),
         f(c(x), y) -> f(x, a(y)),
         f(d(x), y) -> f(x, b(y))}
     Fail