anchor.diff:    NewInfo = enter_vals(NewI, Info),
     case hipe_icode:call_fail_label(Call) of
       [] -> 
  -      {NewI, [{Continuation,NewInfo}]};
  +      {NewI, [{Continuation, NewInfo}]};
       Fail ->
  -      {NewI, [{Continuation,NewInfo}, {Fail,Info}]}
  +      {NewI, [{Continuation, NewInfo}, {Fail, Info}]}
     end.
   
   -spec analyse_if(#icode_if{}, info(), boolean()) ->
  
positive.code:       Value = hipe_icode:const_value(Arg),
        case is_integer(Value) of
  	true ->
  	  #range{range={Value,Value}, other=false};
  	false ->
  	  #range{range=empty, other=true}
        end;
      false ->
        case hipe_icode:is_annotated_variable(Arg) of
  	true ->
  	  case hipe_icode:variable_annotation(Arg) of
  	    {range_anno, #ann{range=Range}, _} ->
  	      Range;
  	    {type_anno, Type, _} ->
  	      range_from_simple_type(Type)
  
negative.code:       TrueRange = inf(any_range(), OldVarRange),
        FalseRange = 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 =
      case range__is_none(TrueRange) of
        true -> [];
        false -> [{TrueLabel, TrueInfo}]
      end,
    False =
      case range__is_none(FalseRange) of
        true -> [];
        false -> [{FalseLabel, FalseInfo}]
      end,
    UpdateInfo = True ++ False,
    NewType =
      if Rewrite ->
  	case UpdateInfo of
  