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