(VAR w x y z )
(RULES 
        op(i(x), op(y, z)) -> op(x, op(i(i(y)), z))
        op(i(x), op(y, op(z, w))) -> op(x, op(z, op(y, w)))
        i(x) -> x
        
)