implementation of create_new_abstractions_and_reorganize