Expression simplification must not alter the type

Author: tautschnig

src/util/simplify_expr.cpp

@@ -12,6 +12,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #include <algorithm>
 
 #include "c_types.h"
+#include "invariant.h"
 #include "rational.h"
 #include "simplify_expr_class.h"
 #include "mp_arith.h"
@@ -2403,6 +2404,7 @@ bool simplify_exprt::simplify_rec(exprt &expr)
 
   if(!result)
   {
+    POSTCONDITION(tmp.type() == expr.type());
     expr.swap(tmp);
 
     #ifdef USE_CACHE