anchor.diff:  	  Error
         end;
       {ok, NewMapDict, NewMap} ->
  -      pp_map("NewMap", NewMap),
  +      ?pp_map("NewMap", NewMap),
         NewRecType = unsafe_lookup_type(Id, NewMap),
         case is_equal(NewRecType, RecType0) of
   	true ->
  
positive.code:     {ok, {Part0,U}} ->
        Part = [KV || {K,_V} = KV <- Part0, not lists:member(K, U)],
        ?debug("restore local map Id=~w U=~w\n", [Id, U]),
        pp_map("Part", maps:from_list(Part)),
        pp_map("Map0", Map0),
        Map = lists:foldl(fun({K,V}, D) -> maps:put(K, V, D) end, Map0, Part),
        pp_map("Map", Map),
        Map
    end.
  
  
negative.code:   ?debug("OldRecType ~ts\n", [format_type(RecType0)]),
    RecType = t_limit(RecType0, ?TYPE_LIMIT),
    Map1 = enter_type(RecVar, RecType, erase_type(t_var_name(Id), Map)),
    ?pp_map("Map1", Map1),
    case solve_ref_or_list(Cs, Map1, MapDict, State) of
      {error, _} = Error ->
        case t_is_none(RecType0) of
  