(VAR x y z )
(RULES 
        *(x, *(y, z)) -> *(*(x, y), z)
        *(x, x) -> x
        
)