Move make_renamed implementation to cpp file

This avoids having to import std_expr in the header file

Author: romainbrenguier

src/goto-symex/renamed.cpp

@@ -13,6 +13,18 @@ Author: Romain Brenguier, [email protected]
 #include <util/ssa_expr.h>
 #include "renamed.h"
 
+
+template <levelt level>
+renamedt<exprt, level> make_renamed(constant_exprt constant)
+{
+  return renamedt<exprt, level>(std::move(constant));
+}
+
+// Force template instantiations for the three levels
+template renamedt<exprt, L0> make_renamed(constant_exprt constant);
+template renamedt<exprt, L1> make_renamed(constant_exprt constant);
+template renamedt<exprt, L2> make_renamed(constant_exprt constant);
+
 bool is_l1_renamed(const exprt &expr)
 {
   if(expr.id() == ID_symbol)

src/goto-symex/renamed.h

@@ -87,10 +87,7 @@ class renamedt : private underlyingt
 };
 
 template <levelt level>
-renamedt<exprt, level> make_renamed(constant_exprt constant)
-{
-  return renamedt<exprt, level>(std::move(constant));
-}
+renamedt<exprt, level> make_renamed(constant_exprt constant);
 
 /// This permits replacing subexpressions of the renamed value, so long as
 /// each replacement is consistent with our current renaming level (for