MAYBE

Problem:
 f(0()) -> s(0())
 f(s(0())) -> s(0())
 f(s(s(x))) -> f(f(s(x)))

Proof:
 DP Processor:
  DPs:
   f#(s(s(x))) -> f#(s(x))
   f#(s(s(x))) -> f#(f(s(x)))
  TRS:
   f(0()) -> s(0())
   f(s(0())) -> s(0())
   f(s(s(x))) -> f(f(s(x)))
  SCC Processor:
   #sccs: 1
   #rules: 2
   #arcs: 4/4
   DPs:
    f#(s(s(x))) -> f#(s(x))
    f#(s(s(x))) -> f#(f(s(x)))
   TRS:
    f(0()) -> s(0())
    f(s(0())) -> s(0())
    f(s(s(x))) -> f(f(s(x)))
   Open