MAYBE

Problem:
 b(f(b(x,z)),y) -> f(f(f(b(z,b(y,z)))))
 c(f(f(c(x,a(),z))),a(),y) -> b(y,f(b(a(),z)))
 b(b(c(b(a(),a()),a(),z),f(a())),y) -> z

Proof:
 DP Processor:
  DPs:
   b#(f(b(x,z)),y) -> b#(y,z)
   b#(f(b(x,z)),y) -> b#(z,b(y,z))
   c#(f(f(c(x,a(),z))),a(),y) -> b#(a(),z)
   c#(f(f(c(x,a(),z))),a(),y) -> b#(y,f(b(a(),z)))
  TRS:
   b(f(b(x,z)),y) -> f(f(f(b(z,b(y,z)))))
   c(f(f(c(x,a(),z))),a(),y) -> b(y,f(b(a(),z)))
   b(b(c(b(a(),a()),a(),z),f(a())),y) -> z
  ADG Processor:
   DPs:
    b#(f(b(x,z)),y) -> b#(y,z)
    b#(f(b(x,z)),y) -> b#(z,b(y,z))
    c#(f(f(c(x,a(),z))),a(),y) -> b#(a(),z)
    c#(f(f(c(x,a(),z))),a(),y) -> b#(y,f(b(a(),z)))
   TRS:
    b(f(b(x,z)),y) -> f(f(f(b(z,b(y,z)))))
    c(f(f(c(x,a(),z))),a(),y) -> b(y,f(b(a(),z)))
    b(b(c(b(a(),a()),a(),z),f(a())),y) -> z
   graph:
    c#(f(f(c(x,a(),z))),a(),y) -> b#(y,f(b(a(),z))) ->
    b#(f(b(x,z)),y) -> b#(y,z)
    c#(f(f(c(x,a(),z))),a(),y) -> b#(y,f(b(a(),z))) ->
    b#(f(b(x,z)),y) -> b#(z,b(y,z))
    b#(f(b(x,z)),y) -> b#(y,z) -> b#(f(b(x,z)),y) -> b#(y,z)
    b#(f(b(x,z)),y) -> b#(y,z) -> b#(f(b(x,z)),y) -> b#(z,b(y,z))
    b#(f(b(x,z)),y) -> b#(z,b(y,z)) -> b#(f(b(x,z)),y) -> b#(y,z)
    b#(f(b(x,z)),y) -> b#(z,b(y,z)) -> b#(f(b(x,z)),y) -> b#(z,b(y,z))
   SCC Processor:
    #sccs: 1
    #rules: 2
    #arcs: 6/16
    DPs:
     b#(f(b(x,z)),y) -> b#(z,b(y,z))
     b#(f(b(x,z)),y) -> b#(y,z)
    TRS:
     b(f(b(x,z)),y) -> f(f(f(b(z,b(y,z)))))
     c(f(f(c(x,a(),z))),a(),y) -> b(y,f(b(a(),z)))
     b(b(c(b(a(),a()),a(),z),f(a())),y) -> z
    Open