MAYBE

Problem:
 f(a(x),y,s(z),u) -> f(a(b()),y,z,g(x,y,s(z),u))
 g(x,y,z,u) -> h(x,y,z,u)
 h(b(),y,z,u) -> f(y,y,z,u)
 a(b()) -> c()

Proof:
 DP Processor:
  DPs:
   f#(a(x),y,s(z),u) -> g#(x,y,s(z),u)
   f#(a(x),y,s(z),u) -> a#(b())
   f#(a(x),y,s(z),u) -> f#(a(b()),y,z,g(x,y,s(z),u))
   g#(x,y,z,u) -> h#(x,y,z,u)
   h#(b(),y,z,u) -> f#(y,y,z,u)
  TRS:
   f(a(x),y,s(z),u) -> f(a(b()),y,z,g(x,y,s(z),u))
   g(x,y,z,u) -> h(x,y,z,u)
   h(b(),y,z,u) -> f(y,y,z,u)
   a(b()) -> c()
  TDG Processor:
   DPs:
    f#(a(x),y,s(z),u) -> g#(x,y,s(z),u)
    f#(a(x),y,s(z),u) -> a#(b())
    f#(a(x),y,s(z),u) -> f#(a(b()),y,z,g(x,y,s(z),u))
    g#(x,y,z,u) -> h#(x,y,z,u)
    h#(b(),y,z,u) -> f#(y,y,z,u)
   TRS:
    f(a(x),y,s(z),u) -> f(a(b()),y,z,g(x,y,s(z),u))
    g(x,y,z,u) -> h(x,y,z,u)
    h(b(),y,z,u) -> f(y,y,z,u)
    a(b()) -> c()
   graph:
    h#(b(),y,z,u) -> f#(y,y,z,u) ->
    f#(a(x),y,s(z),u) -> f#(a(b()),y,z,g(x,y,s(z),u))
    h#(b(),y,z,u) -> f#(y,y,z,u) -> f#(a(x),y,s(z),u) -> a#(b())
    h#(b(),y,z,u) -> f#(y,y,z,u) -> f#(a(x),y,s(z),u) -> g#(x,y,s(z),u)
    g#(x,y,z,u) -> h#(x,y,z,u) -> h#(b(),y,z,u) -> f#(y,y,z,u)
    f#(a(x),y,s(z),u) -> g#(x,y,s(z),u) ->
    g#(x,y,z,u) -> h#(x,y,z,u)
    f#(a(x),y,s(z),u) -> f#(a(b()),y,z,g(x,y,s(z),u)) ->
    f#(a(x),y,s(z),u) -> f#(a(b()),y,z,g(x,y,s(z),u))
    f#(a(x),y,s(z),u) -> f#(a(b()),y,z,g(x,y,s(z),u)) ->
    f#(a(x),y,s(z),u) -> a#(b())
    f#(a(x),y,s(z),u) -> f#(a(b()),y,z,g(x,y,s(z),u)) -> f#(a(x),y,s(z),u) -> g#(x,y,s(z),u)
   EDG Processor:
    DPs:
     f#(a(x),y,s(z),u) -> g#(x,y,s(z),u)
     f#(a(x),y,s(z),u) -> a#(b())
     f#(a(x),y,s(z),u) -> f#(a(b()),y,z,g(x,y,s(z),u))
     g#(x,y,z,u) -> h#(x,y,z,u)
     h#(b(),y,z,u) -> f#(y,y,z,u)
    TRS:
     f(a(x),y,s(z),u) -> f(a(b()),y,z,g(x,y,s(z),u))
     g(x,y,z,u) -> h(x,y,z,u)
     h(b(),y,z,u) -> f(y,y,z,u)
     a(b()) -> c()
    graph:
     h#(b(),y,z,u) -> f#(y,y,z,u) ->
     f#(a(x),y,s(z),u) -> g#(x,y,s(z),u)
     h#(b(),y,z,u) -> f#(y,y,z,u) -> f#(a(x),y,s(z),u) -> a#(b())
     h#(b(),y,z,u) -> f#(y,y,z,u) ->
     f#(a(x),y,s(z),u) -> f#(a(b()),y,z,g(x,y,s(z),u))
     g#(x,y,z,u) -> h#(x,y,z,u) -> h#(b(),y,z,u) -> f#(y,y,z,u)
     f#(a(x),y,s(z),u) -> g#(x,y,s(z),u) -> g#(x,y,z,u) -> h#(x,y,z,u)
    SCC Processor:
     #sccs: 1
     #rules: 3
     #arcs: 5/25
     DPs:
      h#(b(),y,z,u) -> f#(y,y,z,u)
      f#(a(x),y,s(z),u) -> g#(x,y,s(z),u)
      g#(x,y,z,u) -> h#(x,y,z,u)
     TRS:
      f(a(x),y,s(z),u) -> f(a(b()),y,z,g(x,y,s(z),u))
      g(x,y,z,u) -> h(x,y,z,u)
      h(b(),y,z,u) -> f(y,y,z,u)
      a(b()) -> c()
     Open