Operation void <<virtual>> Discard (), in Class RACE_Dumpable

Documentation
If a Dumpable is discarded, potentaly some work has to be done,
for instance
* a snapshot waits for it,
* a statistic, on which a strategy can calculate
if the next Dumpable should be despensable


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics