anchor.diff:    normalize_obj(Inc1).
   
   remove_yecc_generated_file(#inc{filter = Filter} = Inc) ->
  -  Fun = fun (Key, #inc{map = Map} = I) ->
  -            I#inc{map = map__remove(Key, Map)}
  -        end,
  +  Fun = fun(Key, #inc{map = Map} = I) -> I#inc{map = maps:remove(Key, Map)} end,
     lists:foldl(Fun, Inc, Filter).
   
   normalize_obj(TmpInc) ->
     Fun = fun (Key, Val, Inc) ->
               NewVal = [{{Line,F,A},Type} || {{F,A},{Line,Type}} <- Val],
  -            map__insert({Key, NewVal}, Inc)
  +            Inc#{Key => NewVal}
           end,
  -  TmpInc#inc{map = map__fold(Fun, map__new(), TmpInc#inc.map)}.
  +  TmpInc#inc{map = maps:fold(Fun, maps:new(), TmpInc#inc.map)}.
   
   get_records(File, Analysis) ->
  -  map__lookup(File, Analysis#analysis.record).
  +  maps:get(File, Analysis#analysis.record, none).
   
   get_types(Module, Analysis, Records) ->
     TypeInfoPlt = Analysis#analysis.trust_plt,
  
positive.code: write_inc_files(Inc, Analysis) ->
    Fun =
      fun (File) ->
          Val = map__lookup(File, Inc#inc.map),
          %% Val is function with its type info
          %% in form [{{Line,F,A},Type}]
          Functions = [Key || {Key, _} <- Val],
          Val1 = [{{F,A},Type} || {{_Line,F,A},Type} <- Val],
          Info = #info{types = map__from_list(Val1),
                       records = maps:new(),
                       %% Note we need to sort functions here!
                       functions = lists:keysort(1, Functions)},
  
negative.code: %% Author(s)   : The first version of typer was written by Bingwen He
  %%               with guidance from Kostis Sagonas and Tobias Lindahl.
  %%               Since June 2008 typer is maintained by Kostis Sagonas.
  %%               On 2022, Brujo Benavides, Pablo Costas, and Mackenzie
  %%               Morgan from NextRoll started working on the rebar3
  %%               plugin for typer and, with that in mind, splitted typer
  %%               and typer_core apart.
  %% Description : An Erlang/OTP module that shows type information
  %%               for Erlang modules to the user.  Additionally, it can
  %%               annotate the code of files with such type information.
  