Change Details

The following statement should only execute if the replacement was successful. The unpatched check is not robust to additions of new states of AddProofStatus. This patch makes the check more explicit which is easier to read and more robust to future changes.

The if statement should only execute if the replacement was successful. The unpatched if condition is not robust to additions of new states of AddProofStatus. This patch makes the condition more explicit which is easier to read and more robust to future changes.

The followingif statement should only execute if the replacement was successful. The unpatched checkif condition is not robust to additions of new states of AddProofStatus. This patch makes the checkcondition more explicit which is easier to read and more robust to future changes.