merge (if True then x else y) (if True then z else b) : (if True then X else Y)