(if True then y else z).{ x, y }