fixed insert and create_new_abstractions_and_reorganize for first test
adjusted print_and_assert to have more readable failure