internal virtual void CheckForFinishedTransaction(InternalTransaction tx) { // Aborted & InDoubt states should throw exceptions. }