anchor.diff:                          {Predecessor, _Initial} =
                               find_preds_and_initials(Lid, ProcSI, Candidates,
                                                       I, ClockVector, Acc),
  -                        case
  -                            decide_classic(Predecessor, Backtrack, Candidates,
  -                                           PreSI)
  -                        of
  -                            {done, _} = DoneResult -> DoneResult;
  -                            continue ->
  -                                NewClockVector =
  -                                    lookup_clock(ProcSI, ClockMap),
  -                                MaxClockVector =
  -                                    max_cv(NewClockVector, ClockVector),
  -                                {continue_source, ProcSI, MaxClockVector}
  -                        end
  +                        decide_classic(Predecessor, Backtrack, Candidates,
  +                                       PreSI)
                   end
           end,
       case Action of
  
positive.code:             ?debug("One pred already in backtrack.\n"),
              {done, PreSI};
          false ->
              case ordsets:intersection(Predecessor, Candidates) of
                  [OneP|_] ->
                      ?debug(" Add as 'choose-one': ~p\n", [OneP]),
                      Add = [{OneP, dummy, []}],
                      {done, PreSI#trace_state{backtrack = Backtrack ++ Add}};
                  [] -> continue
              end
      end.
  
  %% --------------------------------------
  
negative.code:                                                                  Backtrack)),
                                      case
                                          Flavor =:= ?FULL orelse
                                          Flavor =:= ?CLASSIC orelse
                                          Flavor =:= none
                                      of
                                          true -> NB;
  