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