< x : if True then B else Z | z >