(VAR u v x y z )
(RULES 
        if(if(x,y,z),u,v) -> if(x,if(y,u,v),if(z,u,v))
        
)