BranchFolding: MergePotentialsElt has a total order, just call array_pod_sort.