anchor.diff:    ?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),
  +  ?pp_map("Map1", Map1),
     case solve_ref_or_list(Cs, Map1, MapDict, State) of
       {error, _} = Error ->
         case t_is_none(RecType0) of
  
positive.code: 	  Error
        end;
      {ok, NewMapDict, NewMap} ->
        pp_map("NewMap", NewMap),
        NewRecType = unsafe_lookup_type(Id, NewMap),
        case is_equal(NewRecType, RecType0) of
  	true ->
  
negative.code:       check_solutions(Maps, Fun, S1, Map1);
      false ->
        ?debug("Constraint solvers do not agree on ~w\n", [Fun]),
        ?pp_map(atom_to_list(S), Map),
        ?pp_map(atom_to_list(S1), Map1),
        io:format("A bug was found. Please report it, and use the option "
                  "`--solver v1' until the bug has been fixed.\n"),
        throw(error)
  