anchor.diff:           callbacks = term_to_binary(#{})      :: binary(), %% encoded map()
            types = term_to_binary(#{})          :: binary(), %% encoded map()
            exported_types = term_to_binary(#{}) :: binary(), %% encoded sets:set()
  -         incremental_data                     :: #incremental_data{},
  +         incremental_data = term_to_binary(#incremental_data{}) :: #incremental_data{} | binary(), %% encoded #incremental_data{}
            implementation_md5 = []              :: [module_md5()]}).
   
   %%----------------------------------------------------------------------
  
positive.code:           case ReturnInfo of
              false -> {ok, Plt};
              true ->
                IncrementalData = Rec#ifile_plt.incremental_data,
                PltInfo =
                  #iplt_info{files = Rec#ifile_plt.module_md5_list,
                             mod_deps = IncrementalData#incremental_data.mod_deps,
  
negative.code:   ExpTypes = sets:from_list([E || {E} <- dialyzer_utils:ets_tab2list(ETSExpTypes)], [{version, 2}]),
    Record = #ifile_plt{version = Vsn,
                        module_md5_list = MD5,
                        info = term_to_binary(Info, [{compressed,9}]),
                        contracts = term_to_binary(Contracts, [{compressed,9}]),
                        callbacks = term_to_binary(Callbacks, [{compressed,9}]),
                        types = term_to_binary(Types, [{compressed,9}]),
                        exported_types = term_to_binary(ExpTypes, [{compressed,9}]),
                        incremental_data = term_to_binary(IncrementalData, [{compressed,9}]),
                        implementation_md5 = ImplMd5},
    Bin = term_to_binary(Record),
    case file:write_file(FileName, Bin) of
  