MAYBE

Problem:
 f(0(),1(),x) -> f(h(x),h(x),x)
 h(0()) -> 0()
 h(g(x,y)) -> y

Proof:
 DP Processor:
  DPs:
   f#(0(),1(),x) -> h#(x)
   f#(0(),1(),x) -> f#(h(x),h(x),x)
  TRS:
   f(0(),1(),x) -> f(h(x),h(x),x)
   h(0()) -> 0()
   h(g(x,y)) -> y
  Open