anchor.diff:    Inc1 = remove_yecc_generated_file(Inc),
     normalize_obj(Inc1).
   
  -remove_yecc_generated_file(TmpInc) ->
  -  Fun = fun(Key, Inc) ->
  -	    NewMap = typer_map:remove(Key, Inc#inc.map),
  -	    Inc#inc{map = NewMap}
  -	end,
  -  lists:foldl(Fun, TmpInc, TmpInc#inc.filter).
  -  
  +remove_yecc_generated_file(#inc{filter = Filter} = Inc) ->
  +  Fun = fun (Key, #inc{map = Map} = I) ->
  +	    I#inc{map = typer_map:remove(Key, Map)}
  +	end,
  +  lists:foldl(Fun, Inc, Filter).
  +
   normalize_obj(TmpInc) ->
  -  Fun = fun(Key, Val, Inc) ->
  +  Fun = fun (Key, Val, Inc) ->
   	    NewVal = [{{Line,F,A},Type} || {{F,A},{Line,Type}} <- Val],
   	    typer_map:insert({Key,NewVal}, Inc)
   	end,
     NewMap = typer_map:fold(Fun, typer_map:new(), TmpInc#inc.map),
     TmpInc#inc{map = NewMap}.
   
  -get_recMap(File, Analysis) ->
  +get_records(File, Analysis) ->
     typer_map:lookup(File, Analysis#typer_analysis.record).
   
  -get_typeMap(Module, Analysis, RecMap) ->
  +get_types(Module, Analysis, Records) ->
     TypeInfoPlt = Analysis#typer_analysis.trust_plt,
     TypeInfo = 
       case dialyzer_plt:lookup_module(TypeInfoPlt, Module) of
  
positive.code: 	eacces ->
  	  io:format("  No write permission in ~p\n", [Dir]);
  	_ ->
  	  io:format("Unknown error when writing ~p\n", [Dir]),
  	  halt()
        end;
      ok -> %% Typer dir does NOT exist
  
negative.code: 	    TypeInfo = get_type_string(F, A, Info, show),
  	    io:format("~s\n", [TypeInfo])
  	end,
    lists:foreach(Fun, Info#info.functions).
  
  get_type_info(Func, Types) ->
    case typer_map:lookup(Func, Types) of
      none ->
        %% Note: Typeinfo of any function should exist in
        %% the result offered by dialyzer, otherwise there 
  