Added union based on merge impl in paper