anchor.diff:      {ok, Map, V2State1, U} ->
         ?debug("disj I=~w U=~w~n", [I, U]),
         V2State = save_local_map(V2State1, Id, U, Map),
  -      pp_map("DMap", Map),
  +      ?pp_map("DMap", Map),
         v2_solve_disj(Is, Cs, I+1, Map0, V2State, [U|UL], [Map|MapL],
                       [I|Eval], Uneval, Failed0)
     end;
  
positive.code:     end,
    ?debug("save local map Id=~w:\n", [Id]),
    Part = lists:ukeymerge(1, lists:keysort(1, Part0), Part1),
    pp_map("New Part", maps:from_list(Part0)),
    pp_map("Old Part", maps:from_list(Part1)),
    pp_map(" => Part", maps:from_list(Part)),
    V2State#v2_state{constr_data = maps:put(Id, {Part,[]}, ConData)}.
  
  restore_local_map(#v2_state{constr_data = ConData}, Id, Map0) ->
  
negative.code:          case _PartU of
             {_Part, _U} ->
               io:format("Id: ~w Vars: ~w\n", [_Id, _U]),
               [?pp_map("Part", maps:from_list(_Part)) || _Part =/= []];
             failed ->
               io:format("Id: ~w failed list\n", [_Id])
           end
  