Some more bugs in the tests.
Added tentative test for when the superset gets reset.
A bit more implementation. Still some failing tests.