Delete compare_abstractions.txt~