MAYBE

Problem:
 dfib(s(s(x)),y) -> dfib(s(x),dfib(x,y))

Proof:
 DP Processor:
  DPs:
   dfib#(s(s(x)),y) -> dfib#(x,y)
   dfib#(s(s(x)),y) -> dfib#(s(x),dfib(x,y))
  TRS:
   dfib(s(s(x)),y) -> dfib(s(x),dfib(x,y))
  Restore Modifier:
   DPs:
    dfib#(s(s(x)),y) -> dfib#(x,y)
    dfib#(s(s(x)),y) -> dfib#(s(x),dfib(x,y))
   TRS:
    dfib(s(s(x)),y) -> dfib(s(x),dfib(x,y))
   SCC Processor:
    #sccs: 1
    #rules: 2
    #arcs: 4/4
    DPs:
     dfib#(s(s(x)),y) -> dfib#(x,y)
     dfib#(s(s(x)),y) -> dfib#(s(x),dfib(x,y))
    TRS:
     dfib(s(s(x)),y) -> dfib(s(x),dfib(x,y))
    Open