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