Remove unused includes list, functional from expr.h

This header file is widely used, and dragging in useless includes unnecessarily
slows down compilation.

Author: tautschnig

src/ansi-c/ansi_c_convert_type.h

@@ -12,6 +12,8 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H
 #define CPROVER_ANSI_C_ANSI_C_CONVERT_TYPE_H
 
+#include <list>
+
 #include <util/message.h>
 
 #include "c_qualifiers.h"

src/util/expr.h

@@ -14,9 +14,6 @@ Author: Daniel Kroening, [email protected]
 #include "validate_types.h"
 #include "validation_mode.h"
 
-#include <functional>
-#include <list>
-
 #define forall_operands(it, expr) \
   if((expr).has_operands()) /* NOLINT(readability/braces) */ \
     for(exprt::operandst::const_iterator it=(expr).operands().begin(), \