anchor.diff:                                    QQ -> orddict:store(Lid, QQ, CCC)
                                 end
                             end)]),
  -                {NewSleepSet, NewAwaked} =
  +                {NewSleepSet, _NewAwaked} =
                       case Flavor =:= 'none' of
                           true -> {[], []};
                           false ->
  
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:                                  NewClockVector}
                          end;
                      ?SOURCE ->
                          NewClockVector = orddict:store(ProcSI, I, ClockVector),
                          Candidates = ordsets:subtract(Enabled, Sleepers),
                          {Predecessor, Initial} =
                              find_preds_and_initials(Lid, ProcSI, Candidates,
  