debugging test_abstraction_set_insert