code: private void finalizeNameAssignment(Assignment a, String newName) {
      a.setNewName(newName);
  
      // Keep track of the mapping
      renameMap.put(a.oldName, newName);
    }
docs: Makes a final name assignment.