Due to a subtlety of the design, yes, there will be another
Suspended->Retiring transition in this case. Internally, there are two
kinds of retirement: reversible and irreversible. PREEMPT causes a
transition to irreversible retirement, while a preempting claim causes a
transition to reversible retirement, so if the preempting claim goes away
before the retirement is completed, the original claim backs out of
retirement.
I thought this was a typically opaque reply from our Pensions Department. I was confused because I haven't asked for retirement yet but I would be interested in early retirement. Does Condor have this? ;-)