anchor.diff:                          case Predecessor of
                               [] ->
                                   ?debug("    All sleeping...\n"),
  -                                NewClockVector =
  -                                    lookup_clock(ProcSI, ClockMap),
  -                                MaxClockVector =
  -                                    max_cv(NewClockVector, ClockVector),
  -                                {continue_source, ProcSI, MaxClockVector};
  +                                {continue_source, ProcSI, NewClockVector};
                               [P] ->
                                   Intersection =
                                       ordsets:intersection(BacktrackSet, Initial),
  
positive.code:                                 {{_, {error, _}, _}, _} ->
                                      new_backtrack([{Lid, Next}]);
                                  _ ->
                                      NB =
                                          element(3, lists:keyfind(Lid, 1,
                                                                   Backtrack)),
                                      case
                                          Flavor =:= ?FULL orelse
                                          Flavor =:= ?CLASSIC orelse
                                          Flavor =:= none
                                      of
                                          true -> NB;
                                          false ->
                                              prioritize_awaked(NB, NewAwaked)
                                      end
                              end;
                          false -> TempBacktrack
                      end,
  
negative.code:                                   QQ -> orddict:store(Lid, QQ, CCC)
                                end
                            end)]),
                  {NewSleepSet, _NewAwaked} =
                      case Flavor =:= 'none' of
                          true -> {[], []};
                          false ->
  