internal override void ChangeStatePromotedAborted(InternalTransaction tx) { // The transaction must have aborted during promotion }