Tiny tidy up

Author: TGWDB

src/goto-symex/symex_dereference.cpp

@@ -230,7 +230,6 @@ goto_symext::cache_dereference(exprt &dereference_result, statet &state)
   auto cache_value = cache_key;
   lift_lets(state, cache_value);
 
-  exprt::operandst guard{};
   auto assign = symex_assignt{
     state, symex_targett::assignment_typet::STATE, ns, symex_config, target};
 
@@ -239,7 +238,7 @@ goto_symext::cache_dereference(exprt &dereference_result, statet &state)
     to_ssa_expr(state.rename<L1>(cache_symbol_expr, ns).get()),
     expr_skeletont{},
     cache_value,
-    guard);
+    {});
 
   state.dereference_cache.insert(cache_key, cache_symbol_expr);
   return cache_symbol_expr;