anchor.diff:    Change = lists:zipwith(EqFun, ResRanges, OldRanges),
     {lists:all(fun (X) -> X end, Change), ResRanges}.
   
  --spec new__info/1 :: ([#range{}]) -> [#ann{}].
  +-spec new__info([range()]) -> [ann()].
   new__info(NewRanges) ->
     [#ann{range=Range,count=1,type=t_any()} || Range <- NewRanges].
   
  --spec return__info/1 :: ([#ann{}]) -> [#range{}].
  +-spec return__info([ann()]) -> [range()].
   return__info(Ranges) ->
     [Range || #ann{range=Range} <- Ranges].
   
  --spec return_none/0 :: () -> [#range{},...].
  +-spec return_none() -> [range(),...].
   return_none() ->
     [none_type()].
   
  --spec return_none_args/2 :: (#cfg{}, mfa()) -> [#range{}].
  +-spec return_none_args(cfg(), mfa()) -> [range()].
   return_none_args(Cfg, {_M,_F,A}) ->
     NoArgs =
       case hipe_icode_cfg:is_closure(Cfg) of
  
positive.code:   Other = other(Range1) orelse other(Range2),
    range_init(Range, Other).
  
  -spec extreme_divisors(#range{}) -> range_tuple().
  
  extreme_divisors(#range{range={0,0}}) -> {0,0};
  extreme_divisors(#range{range={0,Max}}) -> {1,Max};
  
negative.code:   end.
  
  -spec analyse_sane_if(#icode_if{}, info(), [argument(),...],
  		      [range(),...], boolean()) ->
  	 {#icode_goto{} | #icode_if{}, [{label(), info()}]}.
  
  analyse_sane_if(If, Info, [Arg1, Arg2], [Range1, Range2], Rewrite) ->
  