< x = y | y : if True then X else Y | z >