(VAR x y z )
(STRATEGY OUTERMOST)
(RULES 
        f(x, f(y, z)) -> f(f(x, y), z)
        f(x, y) -> s(f(y, x))
        s(s(x)) -> c
        
)