Fix a bug in deletionCase2.
Algorithm implemented and tested
Comparison with straightforward implementation of persistent set