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