(VAR x y z )
(STRATEGY INNERMOST)
(RULES 
        cons(x,cons(y,z)) -> big
        inf(x) -> cons(x,inf(s(x)))
        
)