IPA sem equality: merge order reordered.