Delete semantic_tree.h~