Use identifier parameter instead of getting it from ssa

Author: romainbrenguier

src/goto-symex/symex_goto.cpp

@@ -402,13 +402,12 @@ void goto_symext::phi_function(
   for_each2(
     goto_state.level2_current_names,
     dest_state.level2.current_names,
-    [&](const irep_idt &l_identifier,
+    [&](const irep_idt &l1_identifier,
         const ssa_exprt &ssa,
         unsigned goto_count,
         unsigned dest_count)
     {
-    const irep_idt l1_identifier = ssa.get_identifier();
-    const irep_idt &obj_identifier = ssa.get_object_name();
+      const irep_idt &obj_identifier = ssa.get_object_name();
 
       if(obj_identifier==guard_identifier)
         return; // just a guard, don't bother