Refactor to extract step.full_lhs_value into value variable

To avoid repeating ourselves and because "Which value?" is clear from
the context of the function.

Author: thomasspriggs

src/goto-programs/xml_goto_trace.cpp

@@ -33,15 +33,14 @@ xmlt full_lhs_value(const goto_trace_stept &step, const namespacet &ns)
   const irep_idt identifier =
     lhs_object.has_value() ? lhs_object->get_identifier() : irep_idt();
 
-  if(step.full_lhs_value.is_not_nil())
-    xml.data = from_expr(ns, identifier, step.full_lhs_value);
+  const exprt &value = step.full_lhs_value;
+  if(value.is_not_nil())
+    xml.data = from_expr(ns, identifier, value);
 
-  if(
-    const auto &type =
-      type_try_dynamic_cast<bitvector_typet>(step.full_lhs_value.type()))
+  if(const auto &type = type_try_dynamic_cast<bitvector_typet>(value.type()))
   {
     const auto &constant =
-      expr_try_dynamic_cast<constant_exprt>(step.full_lhs_value);
+      expr_try_dynamic_cast<constant_exprt>(value);
     const auto width = type->get_width();
     const auto binary_representation =
       integer2binary(bvrep2integer(constant->get_value(), width, false), width);