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