remark that lhs_object will be deprecated

Author: Daniel Kroening

src/goto-programs/goto_trace.h

@@ -104,14 +104,18 @@ class goto_trace_stept
   // for assert
   std::string comment;
 
-  // the object being assigned
+  // The object being assigned.
+  // This will get removed, use full_lhs instead.
   ssa_exprt lhs_object;
 
-  // the full, original lhs expression
+  // The full, original lhs expression,
+  // but without dereferencing.
   exprt full_lhs;
 
-  // A constant with the new value
-  exprt lhs_object_value, full_lhs_value;
+  // A constant with the new value.
+  // lhs_object_value will get removed, use full_lhs_value instead.
+  exprt lhs_object_value;
+  exprt full_lhs_value;
 
   // for INPUT/OUTPUT
   irep_idt format_string, io_id;