MAYBE

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

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