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