Remove ESBMC-specific find_macros and get_module

These are not of general use and cannot be tested in this repository.

Author: tautschnig

src/util/Makefile

@@ -14,7 +14,6 @@ SRC = arith_tools.cpp \
       expr_initializer.cpp \
       expr_util.cpp \
       file_util.cpp \
-      find_macros.cpp \
       find_symbols.cpp \
       fixedbv.cpp \
       format_constant.cpp \
@@ -23,7 +22,7 @@ SRC = arith_tools.cpp \
       format_type.cpp \
       fresh_symbol.cpp \
       get_base_name.cpp \
-      get_module.cpp \
+      graph.cpp \
       guard.cpp \
       identifier.cpp \
       ieee_float.cpp \

src/util/find_macros.cpp

@@ -145,7 +145,6 @@ IREP_ID_ONE(merged_type)
 IREP_ID_ONE(range)
 IREP_ID_ONE(from)
 IREP_ID_ONE(to)
-IREP_ID_ONE(module)
 IREP_ID_ONE(parameter)
 IREP_ID_ONE(component_name)
 IREP_ID_ONE(component_number)