use base_name as the suffix instead of the full name

Author: qinheping

src/goto-programs/goto_convert_side_effect.cpp

@@ -315,11 +315,12 @@ void goto_convertt::remove_post(
   {
     exprt tmp = op;
     std::string suffix = "post";
-    if (tmp.id() == ID_symbol)
+    if(auto sym_expr = expr_try_dynamic_cast<symbol_exprt>(tmp))
     {
-      suffix = suffix + "_" + tmp.get(ID_identifier).c_str();
+      const irep_idt &base_name = ns.lookup(sym_expr->get_identifier()).base_name;
+      suffix += "_" + id2string(base_name);
     }
-    
+
     make_temp_symbol(tmp, suffix, dest, mode);
     expr.swap(tmp);
   }