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