Rename destructor_tree files to scope_tree

To match the new class names.

Author: thomasspriggs

src/goto-programs/Makefile

@@ -5,7 +5,7 @@ SRC = allocate_objects.cpp \
       class_identifier.cpp \
       compute_called_functions.cpp \
       destructor.cpp \
-      destructor_tree.cpp \
+      scope_tree.cpp \
       elf_reader.cpp \
       ensure_one_backedge_per_target.cpp \
       format_strings.cpp \

src/goto-programs/goto_convert_class.h

@@ -12,18 +12,18 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_CLASS_H
 #define CPROVER_GOTO_PROGRAMS_GOTO_CONVERT_CLASS_H
 
-#include <list>
-#include <vector>
-#include <unordered_set>
-
 #include <util/message.h>
 #include <util/namespace.h>
 #include <util/replace_expr.h>
 #include <util/std_code.h>
 
 #include "allocate_objects.h"
-#include "destructor_tree.h"
 #include "goto_program.h"
+#include "scope_tree.h"
+
+#include <list>
+#include <unordered_set>
+#include <vector>
 
 class side_effect_expr_overflowt;
 

src/goto-programs/destructor_tree.cpp renamed to src/goto-programs/scope_tree.cpp

@@ -6,7 +6,7 @@
 
 \*******************************************************************/
 
-#include "destructor_tree.h"
+#include "scope_tree.h"
 
 void scope_treet::add(
   const codet &destructor,