(VAR x1 )
(RULES 
        f(0(x1)) -> s(0(x1))
        d(0(x1)) -> 0(x1)
        d(s(x1)) -> s(s(d(x1)))
        f(s(x1)) -> d(f(x1))
        
)