Add a simplify function for renamedt

This assumes the simplification does not break the renaming.

Author: romainbrenguier

src/goto-symex/renaming_level.h

@@ -16,6 +16,7 @@ Author: Romain Brenguier, [email protected]
 #include <unordered_set>
 
 #include <util/irep.h>
+#include <util/simplify_expr.h>
 #include <util/ssa_expr.h>
 
 /// Symex renaming level names.
@@ -81,6 +82,11 @@ class renamedt
     return value;
   }
 
+  void simplify(const namespacet &ns)
+  {
+    (void)::simplify(value, ns);
+  }
+
 private:
   underlyingt value;