associate variables' names to tmp_post

Author: qinheping

src/goto-programs/goto_convert_side_effect.cpp

@@ -314,7 +314,13 @@ void goto_convertt::remove_post(
   if(result_is_used)
   {
     exprt tmp = op;
-    make_temp_symbol(tmp, "post", dest, mode);
+    std::string suffix = "post";
+    if (tmp.id() == ID_symbol)
+    {
+      suffix = suffix + "_" + tmp.get(ID_identifier).c_str();
+    }
+    
+    make_temp_symbol(tmp, suffix, dest, mode);
     expr.swap(tmp);
   }
   else