This is selected according to the ConflictingProofComparator(). The previous addProof() function keep the previous behavior and is renamed to make the intent clearer. This will be used to proceed to proof replacement in future diffs. There is no change in behavior.
Ref T1854.