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