(GOAL COMPLEXITY)
(STARTTERM CONSTRUCTORBASED)
(VAR  )
(STRATEGY INNERMOST)
(RULES 
        f(0) -> cons(0)
        f(s(0)) -> f(p(s(0)))
        p(s(0)) -> 0
        
)