Removal of a redundant predicate.

Author: marek-trtik

src/pointer-analysis/local_value_set_analysis.cpp

@@ -267,10 +267,7 @@ void local_value_set_analysist::transform_function_stub(
       // Ordinary value set member (not an external value set);
 
       const auto rhs_num=valuesets.object_numbering.get_number(rhs_expr);
-      //object_numberingt::number_type rhs_num;
-      if(can_cast_expr<dynamic_object_exprt>(rhs_expr) &&
-        l_call->location_number==valuesets.location_number &&
-        rhs_num)
+      if(can_cast_expr<dynamic_object_exprt>(rhs_expr) && rhs_num)
       {
         // Replace all the current most-recent-allocation dynamic-objects
         // with the corresponding any-allocation ones