Enumerates the possible return statuses (also: follow-up activity) of a pre-check:
Abort instructs the caller to cancel the operation because the pre-check failed;
PostCheck means that the post-check (commit) still must be called;
Complete means that the operation can safely be completed without invoking the post-check.
The minimum of a and b treating Abort < PostCheck < Complete.