Tweak the semantics of dsf_merge() so that the canonical element of