anchor.diff:      false ->
         NewParams = lists:zipwith(fun update_info/2, Params, Ranges),
         NewCfg = hipe_icode_cfg:params_update(Cfg, NewParams),
  -      Info = enter_defines(NewParams, gb_trees:empty()),
  -      InfoMap = gb_trees:insert({Start, in}, Info, gb_trees:empty()),
  +      Info = enter_defines(NewParams, #{}),
  +      InfoMap = #{{Start, in} => Info},
         #state{info_map=InfoMap, cfg=NewCfg, liveness=Liveness,
   	     ret_type=none_type(),
   	     lookup_fun=CallFun, result_action=FinalFun}
  
positive.code: -type final_fun() :: fun((mfa(), [range()]) -> 'ok').
  -type data() :: {mfa(), args_fun(), call_fun(), final_fun()}.
  -type label() :: non_neg_integer().
  -type info() :: gb_trees:tree().
  -type work_list() :: {[label()], [label()], sets:set()}.
  -type variable() :: #icode_variable{}.
  -type annotated_variable() :: #icode_variable{}.
  -type argument() :: #icode_const{} | variable().
  
negative.code: enter_define({PossibleVar, Range = #range{}}, Info) ->
    case hipe_icode:is_var(PossibleVar) of
      true -> 
        Info#{hipe_icode:var_name(PossibleVar) => Range};
      false ->
        Info
    end;
  