A base class for enforcing correct behaviour of get_next_unique (and the other methods) even when a scheduling scheme might not take this into account.
Note: this may alter the properties of the scheduling scheme!