protected override void ExecuteTransaction()
        {
            Contract.Assert(_invariantContract.IsAvailable);

            var executor = new InvariantActionExecutor(_invariantContract, _provider);
            executor.ExecuteTransaction();
        }
        protected override void ExecuteTransaction()
        {
            Contract.Assert(_invariantContract.IsAvailable);

            var executor = new InvariantActionExecutor(_invariantContract, _provider);

            executor.ExecuteTransaction();
        }