MAYBE

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

Proof:
 DP Processor:
  DPs:
   f#(c(a(),z,x)) -> b#(a(),z)
   b#(x,b(z,y)) -> f#(z)
   b#(x,b(z,y)) -> f#(f(z))
   b#(x,b(z,y)) -> b#(f(f(z)),c(x,z,y))
   b#(x,b(z,y)) -> f#(b(f(f(z)),c(x,z,y)))
  TRS:
   f(c(a(),z,x)) -> b(a(),z)
   b(x,b(z,y)) -> f(b(f(f(z)),c(x,z,y)))
   b(y,z) -> z
  TDG Processor:
   DPs:
    f#(c(a(),z,x)) -> b#(a(),z)
    b#(x,b(z,y)) -> f#(z)
    b#(x,b(z,y)) -> f#(f(z))
    b#(x,b(z,y)) -> b#(f(f(z)),c(x,z,y))
    b#(x,b(z,y)) -> f#(b(f(f(z)),c(x,z,y)))
   TRS:
    f(c(a(),z,x)) -> b(a(),z)
    b(x,b(z,y)) -> f(b(f(f(z)),c(x,z,y)))
    b(y,z) -> z
   graph:
    b#(x,b(z,y)) -> b#(f(f(z)),c(x,z,y)) ->
    b#(x,b(z,y)) -> f#(b(f(f(z)),c(x,z,y)))
    b#(x,b(z,y)) -> b#(f(f(z)),c(x,z,y)) ->
    b#(x,b(z,y)) -> b#(f(f(z)),c(x,z,y))
    b#(x,b(z,y)) -> b#(f(f(z)),c(x,z,y)) ->
    b#(x,b(z,y)) -> f#(f(z))
    b#(x,b(z,y)) -> b#(f(f(z)),c(x,z,y)) ->
    b#(x,b(z,y)) -> f#(z)
    b#(x,b(z,y)) -> f#(b(f(f(z)),c(x,z,y))) -> f#(c(a(),z,x)) -> b#(a(),z)
    b#(x,b(z,y)) -> f#(f(z)) -> f#(c(a(),z,x)) -> b#(a(),z)
    b#(x,b(z,y)) -> f#(z) -> f#(c(a(),z,x)) -> b#(a(),z)
    f#(c(a(),z,x)) -> b#(a(),z) ->
    b#(x,b(z,y)) -> f#(b(f(f(z)),c(x,z,y)))
    f#(c(a(),z,x)) -> b#(a(),z) -> b#(x,b(z,y)) -> b#(f(f(z)),c(x,z,y))
    f#(c(a(),z,x)) -> b#(a(),z) -> b#(x,b(z,y)) -> f#(f(z))
    f#(c(a(),z,x)) -> b#(a(),z) -> b#(x,b(z,y)) -> f#(z)
   Restore Modifier:
    DPs:
     f#(c(a(),z,x)) -> b#(a(),z)
     b#(x,b(z,y)) -> f#(z)
     b#(x,b(z,y)) -> f#(f(z))
     b#(x,b(z,y)) -> b#(f(f(z)),c(x,z,y))
     b#(x,b(z,y)) -> f#(b(f(f(z)),c(x,z,y)))
    TRS:
     f(c(a(),z,x)) -> b(a(),z)
     b(x,b(z,y)) -> f(b(f(f(z)),c(x,z,y)))
     b(y,z) -> z
    SCC Processor:
     #sccs: 1
     #rules: 5
     #arcs: 11/25
     DPs:
      b#(x,b(z,y)) -> b#(f(f(z)),c(x,z,y))
      b#(x,b(z,y)) -> f#(z)
      f#(c(a(),z,x)) -> b#(a(),z)
      b#(x,b(z,y)) -> f#(f(z))
      b#(x,b(z,y)) -> f#(b(f(f(z)),c(x,z,y)))
     TRS:
      f(c(a(),z,x)) -> b(a(),z)
      b(x,b(z,y)) -> f(b(f(f(z)),c(x,z,y)))
      b(y,z) -> z
     Open