Inline variable used immediatly after

Declaring variables for this values doesn't add clarity and makes the
function longer.

Author: romainbrenguier

src/goto-symex/symex_assign.cpp

@@ -475,15 +475,11 @@ void goto_symext::symex_assign_symbol(
               << messaget::eom;
     });
 
-  const exprt assignment_guard =
-    make_and(state.guard.as_expr(), conjunction(guard));
-
-  const exprt original_lhs = get_original_name(l2_full_lhs);
   target.assignment(
-    assignment_guard,
+    make_and(state.guard.as_expr(), conjunction(guard)),
     l2_lhs,
     l2_full_lhs,
-    original_lhs,
+    get_original_name(l2_full_lhs),
     assignment.rhs,
     state.source,
     assignment_type);