fixed bug in test_abstraction_set_insert example