YES

Problem:
 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())

Proof:
 DP Processor:
  DPs:
   c#(c(c(y))) -> b#(0(),y)
   c#(c(c(y))) -> c#(b(0(),y))
   c#(c(c(y))) -> a#(c(b(0(),y)),0())
   c#(c(c(y))) -> 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))) -> c#(c(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())
  TDG Processor:
   DPs:
    c#(c(c(y))) -> b#(0(),y)
    c#(c(c(y))) -> c#(b(0(),y))
    c#(c(c(y))) -> a#(c(b(0(),y)),0())
    c#(c(c(y))) -> 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))) -> c#(c(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())
   graph:
    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())
    c#(c(c(y))) -> c#(a(a(c(b(0(),y)),0()),0())) ->
    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))) -> 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#(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))) -> c#(a(a(c(b(0(),y)),0()),0())) ->
    c#(c(c(y))) -> c#(b(0(),y))
    c#(c(c(y))) -> c#(a(a(c(b(0(),y)),0()),0())) ->
    c#(c(c(y))) -> b#(0(),y)
    c#(c(c(y))) -> c#(c(a(a(c(b(0(),y)),0()),0()))) ->
    c#(c(c(y))) -> c#(c(a(a(c(b(0(),y)),0()),0())))
    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))) -> c#(c(a(a(c(b(0(),y)),0()),0()))) ->
    c#(c(c(y))) -> a#(a(c(b(0(),y)),0()),0())
    c#(c(c(y))) -> c#(c(a(a(c(b(0(),y)),0()),0()))) ->
    c#(c(c(y))) -> a#(c(b(0(),y)),0())
    c#(c(c(y))) -> c#(c(a(a(c(b(0(),y)),0()),0()))) ->
    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))) -> 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#(b(0(),y)) ->
    c#(c(c(y))) -> c#(a(a(c(b(0(),y)),0()),0()))
    c#(c(c(y))) -> c#(b(0(),y)) ->
    c#(c(c(y))) -> a#(a(c(b(0(),y)),0()),0())
    c#(c(c(y))) -> c#(b(0(),y)) -> c#(c(c(y))) -> a#(c(b(0(),y)),0())
    c#(c(c(y))) -> c#(b(0(),y)) -> c#(c(c(y))) -> c#(b(0(),y))
    c#(c(c(y))) -> c#(b(0(),y)) -> c#(c(c(y))) -> b#(0(),y)
   EDG Processor:
    DPs:
     c#(c(c(y))) -> b#(0(),y)
     c#(c(c(y))) -> c#(b(0(),y))
     c#(c(c(y))) -> a#(c(b(0(),y)),0())
     c#(c(c(y))) -> 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))) -> c#(c(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())
    graph:
     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())
     c#(c(c(y))) -> c#(a(a(c(b(0(),y)),0()),0())) ->
     c#(c(c(y))) -> b#(0(),y)
     c#(c(c(y))) -> c#(a(a(c(b(0(),y)),0()),0())) ->
     c#(c(c(y))) -> c#(b(0(),y))
     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))) -> c#(a(a(c(b(0(),y)),0()),0())) ->
     c#(c(c(y))) -> 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))) -> 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))) -> c#(c(a(a(c(b(0(),y)),0()),0())))
     c#(c(c(y))) -> c#(c(a(a(c(b(0(),y)),0()),0()))) ->
     c#(c(c(y))) -> b#(0(),y)
     c#(c(c(y))) -> c#(c(a(a(c(b(0(),y)),0()),0()))) ->
     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))) -> a#(c(b(0(),y)),0())
     c#(c(c(y))) -> c#(c(a(a(c(b(0(),y)),0()),0()))) ->
     c#(c(c(y))) -> a#(a(c(b(0(),y)),0()),0())
     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))) -> c#(c(a(a(c(b(0(),y)),0()),0()))) ->
     c#(c(c(y))) -> c#(c(a(a(c(b(0(),y)),0()),0())))
    CDG Processor:
     DPs:
      c#(c(c(y))) -> b#(0(),y)
      c#(c(c(y))) -> c#(b(0(),y))
      c#(c(c(y))) -> a#(c(b(0(),y)),0())
      c#(c(c(y))) -> 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))) -> c#(c(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())
     graph:
      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())
     SCC Processor:
      #sccs: 0
      #rules: 0
      #arcs: 2/49