merge { x = 0 } <x | y>.x