Simplify rename_ssa using set_indices template

Now tha set_indices is a template we don't need the case disjunction on
the level parameter.

Author: romainbrenguier

src/goto-symex/goto_symex_state.cpp

@@ -263,19 +263,7 @@ ssa_exprt goto_symex_statet::rename_ssa(ssa_exprt ssa, const namespacet &ns)
   static_assert(
     level == L0 || level == L1,
     "rename_ssa can only be used for levels L0 and L1");
-  if(level == L0)
-  {
-    const renamedt<ssa_exprt, L0> ssa_l0 = set_indices<L0>(std::move(ssa), ns);
-    ssa = ssa_l0.get();
-  }
-  else if(level == L1)
-  {
-    const renamedt<ssa_exprt, L1> ssa_l1 = set_indices<L1>(std::move(ssa), ns);
-    ssa = ssa_l1.get();
-  }
-  else
-    UNREACHABLE;
-
+  ssa = set_indices<level>(std::move(ssa), ns).get();
   rename<level>(ssa.type(), ssa.get_identifier(), ns);
   ssa.update_type();
   return ssa;