(VAR u x y z )
(RULES 
        :(:(:(:(C, x), y), z), u) -> :(:(x, z), :(:(:(x, y), z), u))
        
)