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