anchor.diff:  -spec update_infos(argument(), info(), [{#range{},label()}]) -> [{label(),info()}].
   
   update_infos(Arg, Info, [{Range, Label}|Rest]) ->
  -  [{Label,enter_define({Arg,Range},Info)} | update_infos(Arg,Info,Rest)];
  +  [{Label,enter_define({Arg,Range},Info)} | update_infos(Arg, Info, Rest)];
   update_infos(_, _, []) -> [].
   
   -spec get_range_label_list([{argument(),label()}], #range{}, [{#range{},label()}]) ->
  
positive.code: %% -*- erlang-indent-level: 2 -*-
  %%
  %% %CopyrightBegin%
  %% 
  %% Copyright Ericsson AB 2007-2009. All Rights Reserved.
  %% 
  %% The contents of this file are subject to the Erlang Public License,
  %% Version 1.1, (the "License"); you may not use this file except in
  %% compliance with the License. You should have received a copy of the
  %% Erlang Public License along with this software. If not, it can be
  %% retrieved online at http://www.erlang.org/.
  %% 
  %% Software distributed under the License is distributed on an "AS IS"
  %% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
  %% the License for the specific language governing rights and limitations
  %% under the License.
  %% 
  %% %CopyrightEnd%
  %%
  %%%-------------------------------------------------------------------
  
negative.code:     case label_range_list_to_cases(LabelRangeList, []) of
        no_update ->
  	Switch;
        Cases ->
  	hipe_icode:switch_val_cases_update(Switch, Cases)
      end,
    if KeepFail -> S2;
  