Merge pull request #4293 from owen-jones-diffblue/minor-refactoring-in-symex-goto

Minor refactoring in symex_goto

Author: smowton

src/goto-symex/symex_goto.cpp

@@ -34,10 +34,10 @@ void goto_symext::symex_goto(statet &state)
     return; // nothing to do
   }
 
-  exprt old_guard = instruction.get_condition();
-  clean_expr(old_guard, state, false);
+  exprt new_guard = instruction.get_condition();
+  clean_expr(new_guard, state, false);
 
-  exprt new_guard = state.rename(old_guard, ns);
+  new_guard = state.rename(std::move(new_guard), ns);
   do_simplify(new_guard);
 
   if(new_guard.is_false())