Hi
Since we already advance latestCompletedXid on subtransaction and topleveltransaction aborts, we might as well use the value to rule out surely in-progress transctions at the top of TransactionIdIsInProgress.
greetings, Florian Pflug