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