diff --git a/jbmc/unit/java_bytecode/goto_program_generics/generic_bases_test.cpp b/jbmc/unit/java_bytecode/goto_program_generics/generic_bases_test.cpp
index 769edb50a13..2f007b2fa25 100644
--- a/jbmc/unit/java_bytecode/goto_program_generics/generic_bases_test.cpp
+++ b/jbmc/unit/java_bytecode/goto_program_generics/generic_bases_test.cpp
@@ -21,6 +21,8 @@ SCENARIO(
   "Instantiate generic parameters of superclasses",
   "[core][goto_program_generics][generic_bases_test]")
 {
+  config.ansi_c.set_LP64();
+
   GIVEN(
     "A class extending a generic class instantiated with a standard library "
     "class")
diff --git a/src/goto-symex/symex_clean_expr.cpp b/src/goto-symex/symex_clean_expr.cpp
index 6b787375818..6584b7dd3cc 100644
--- a/src/goto-symex/symex_clean_expr.cpp
+++ b/src/goto-symex/symex_clean_expr.cpp
@@ -72,8 +72,6 @@ process_array_expr(exprt &expr, bool do_simplify, const namespacet &ns)
   {
     object_descriptor_exprt ode;
     ode.build(expr, ns);
-    if(do_simplify)
-      simplify(ode.offset(), ns);
 
     expr = ode.root_object();
 
diff --git a/src/util/std_expr.cpp b/src/util/std_expr.cpp
index c549178259f..a6a30ba4ea0 100644
--- a/src/util/std_expr.cpp
+++ b/src/util/std_expr.cpp
@@ -16,6 +16,7 @@ Author: Daniel Kroening, kroening@kroening.com
 #include "expr_util.h"
 #include "mathematical_types.h"
 #include "pointer_offset_size.h"
+#include "simplify_expr.h"
 
 bool constant_exprt::value_is_zero_string() const
 {
@@ -72,10 +73,11 @@ static void build_object_descriptor_rec(
     exprt sub_size=size_of_expr(expr.type(), ns);
     CHECK_RETURN(sub_size.is_not_nil());
 
-    dest.offset()=
-      plus_exprt(dest.offset(),
-                 mult_exprt(typecast_exprt(index.index(), index_type()),
-                            typecast_exprt(sub_size, index_type())));
+    dest.offset() = plus_exprt(
+      dest.offset(),
+      mult_exprt(
+        typecast_exprt::conditional_cast(index.index(), index_type()),
+        typecast_exprt::conditional_cast(sub_size, index_type())));
   }
   else if(expr.id()==ID_member)
   {
@@ -87,9 +89,8 @@ static void build_object_descriptor_rec(
     exprt offset=member_offset_expr(member, ns);
     CHECK_RETURN(offset.is_not_nil());
 
-    dest.offset()=
-      plus_exprt(dest.offset(),
-                 typecast_exprt(offset, index_type()));
+    dest.offset() = plus_exprt(
+      dest.offset(), typecast_exprt::conditional_cast(offset, index_type()));
   }
   else if(expr.id()==ID_byte_extract_little_endian ||
           expr.id()==ID_byte_extract_big_endian)
@@ -100,10 +101,10 @@ static void build_object_descriptor_rec(
 
     build_object_descriptor_rec(ns, be.op(), dest);
 
-    dest.offset()=
-      plus_exprt(dest.offset(),
-                 typecast_exprt(to_byte_extract_expr(expr).offset(),
-                                index_type()));
+    dest.offset() = plus_exprt(
+      dest.offset(),
+      typecast_exprt::conditional_cast(
+        to_byte_extract_expr(expr).offset(), index_type()));
   }
   else if(expr.id()==ID_typecast)
   {
@@ -145,6 +146,7 @@ void object_descriptor_exprt::build(
     offset()=from_integer(0, index_type());
 
   build_object_descriptor_rec(ns, expr, *this);
+  simplify(offset(), ns);
 }
 
 shift_exprt::shift_exprt(