YES
Time: 0.002549
TRS:
 {b(b(0(), y), x) -> y,
          c c c y -> c c a(a(c b(0(), y), 0()), 0()),
        a(y, 0()) -> b(y, 0())}
 DP:
  DP:
   {  c# c c y -> b#(0(), y),
      c# c c y -> c# b(0(), y),
      c# c c y -> c# c a(a(c b(0(), y), 0()), 0()),
      c# c c y -> c# a(a(c b(0(), y), 0()), 0()),
      c# c c y -> a#(c b(0(), y), 0()),
      c# c c y -> a#(a(c b(0(), y), 0()), 0()),
    a#(y, 0()) -> b#(y, 0())}
  TRS:
  {b(b(0(), y), x) -> y,
           c c c y -> c c a(a(c b(0(), y), 0()), 0()),
         a(y, 0()) -> b(y, 0())}
  EDG:
   {(c# c c y -> a#(a(c b(0(), y), 0()), 0()), a#(y, 0()) -> b#(y, 0()))
    (c# c c y -> a#(c b(0(), y), 0()), a#(y, 0()) -> b#(y, 0()))}
   STATUS:
    arrows: 0.959184
    SCCS (0):