called when the solver forget() method is called. Those modules are intended
to do the real work concerning forgetting clauses.
Such modules typically register to other kinds of events, to get informations
about which clauses appear in conflicts or propagations