(VAR  )
(STRATEGY INNERMOST)
(RULES 
        f(0) -> f(0)
        0 -> 1
        
)