This diff adds a function to select if a conflicting proof should be preferred over an existing one. This function will be used to determine if a conflicting proof should be added to the regular proof pool or the orphan proof in a follow up.
Ref T1854.
Depends on D10377.