added more readable display for AbstractionSet, determined why create_new_abstractions_and_reorganize was not working as expected (problem related to unreliableness of match)