After adding and removing a clause in Xplain, subsequent addition of the clause are ignored
If someone tries to add several times a constraint that has just been added to the solver, Xplain will just ignore it.
This is problematic if the clause has been removed in the meanwhile.
A check need to be performed on clause removal.