anchor.diff:  %%== Call Support =============================================================
   
   -spec analyse_call_or_enter_fun(fun_name(), [argument()],
  -				icode_call_type(), call_fun()) -> [#range{}].
  +				icode_call_type(), call_fun()) -> [range()].
   
   analyse_call_or_enter_fun(Fun, Args, CallType, LookupFun) ->
     %%io:format("Fun: ~p~n Args: ~p~n CT: ~p~n LF: ~p~n", [Fun, Args, CallType, LookupFun]),
  
positive.code:   NewUses = lists:zipwith(JoinFun, Uses, PresentRanges),
    hipe_icode:subst_uses(lists:zip(Uses, NewUses), I).
  
  -spec join_info(#ann{}, #range{}, three_range_fun()) -> #ann{}.
  
  join_info(Ann = #ann{range = R1, type = Type, count = ?WIDEN}, R2, Fun) ->
    Ann#ann{range = Fun(R1, R2, range_from_simple_type(Type))};
  
negative.code: 
  any_r() -> {neg_inf, pos_inf}.
  
  -spec get_range_from_args([argument()]) -> [range()].
    
  get_range_from_args(Args) ->
    [get_range_from_arg(Arg) || Arg <- Args].
  
  -spec get_range_from_arg(argument()) -> range().
  
  get_range_from_arg(Arg) ->
    case hipe_icode:is_const(Arg) of
  