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