anchor.diff:        TrueRange = inf(any_range(), OldVarRange),
         FalseRange = inf(none_range(), OldVarRange);
       _ ->
  -      TrueRange = inf(none_range(),OldVarRange),
  +      TrueRange = inf(none_range(), OldVarRange),
         FalseRange = OldVarRange
     end,
     TrueLabel = hipe_icode:type_true_label(Type),
     FalseLabel = hipe_icode:type_false_label(Type),
  -  TrueInfo = 
  -    enter_define({Arg,TrueRange},Info),
  -  FalseInfo = 
  -    enter_define({Arg,FalseRange},Info),
  -  True = 
  +  TrueInfo = enter_define({Arg, TrueRange}, Info),
  +  FalseInfo = enter_define({Arg, FalseRange}, Info),
  +  True =
       case range__is_none(TrueRange) of
         true -> [];
  -      false -> [{TrueLabel,TrueInfo}]
  -    end,
  -  False = 
  +      false -> [{TrueLabel, TrueInfo}]
  +    end,
  +  False =
       case range__is_none(FalseRange) of
         true -> [];
  -      false -> [{FalseLabel,FalseInfo}]
  -    end,
  -  UpdateInfo = True++False,
  +      false -> [{FalseLabel, FalseInfo}]
  +    end,
  +  UpdateInfo = True ++ False,
     NewType =
       if Rewrite ->
   	case UpdateInfo of
  
positive.code: -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)];
  update_infos(_, _, []) -> [].
  
  -spec get_range_label_list([{argument(),label()}], #range{}, [{#range{},label()}]) ->
  
negative.code: 
  -spec range__remove_constant(#range{}, #range{}) -> #range{}.
  
  range__remove_constant(#range{range = {C, C}} = R, #range{range = {C, C}}) ->
    R#range{range = empty};
  range__remove_constant(#range{range = {C, H}} = R, #range{range = {C, C}}) ->
    R#range{range = {C+1, H}};
  range__remove_constant(#range{range = {L, C}} = R, #range{range = {C, C}}) ->
    R#range{range = {L, C-1}};
  range__remove_constant(#range{} = R, #range{range = {C,C}}) ->
    R;
  range__remove_constant(#range{} = R, _) ->
    R.
  
  -spec any_type() -> #range{}.
  
  any_type() ->
    #range{range = any_r(), other = true}.
  
  -spec any_range() -> #range{}.
  
  any_range() ->
    #range{range = any_r(), other = false}.
  
  -spec none_range() -> #range{}.
  
  none_range() ->
    #range{range = empty, other = true}.
  
  -spec none_type() -> #range{}.
  
  